具有左R-模结构的类型及其范畴逻辑模型
以范畴逻辑与类型论为基础,引入类型中的交换群理论、环理论以及左R-模理论.证明了类型中的交换群理论在满足分配律的范畴中的模型是交换群对象,环理论的模型是环对象,左R-模理论的模型是左R-模对象,并给出左R-模理论在集合范畴和层范畴等几个具体范畴中的模型.
代数理论、逻辑模型、左R-模理论、左R-模对象
45
国家自然科学基金11161050;伊犁师范学院研究生科研创新项目2013YSY023
2016-01-14(万方平台首次上网日期,不代表论文的发表时间)
260-270