Functors in a Web-Scalable Module System Guided Research : Final Report
msra
摘要
Mathematical knowledge has reached a size when it has become extremely hard to organize. A new method to organize mathematical knowledge is through representing mathematical theories in a computer system. There are several languages that can organize mathematical knowledge. We will focus on the MMT language that provides a web scalable module system for mathematical theories. In MMT the theories are organized hierarchically which allows the representation of symbols and morphisms between theories. Model categories can be represented in MMT through theories. A weakness of MMT is that it cannot represent all functors between model categories. We propose an extension of MMT that will also allow the representation of functors through - expressions abstracting over morphisms.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络