|
|||||
|
|
| 具有左R-模结构的类型及其范畴逻辑模型 | |
| 作者单位： | ;1.伊犁师范学院数学与统计学院 |
| 摘 要： | 以范畴逻辑与类型论为基础,引入类型中的交换群理论、环理论以及左R-模理论.证明了类型中的交换群理论在满足分配律的范畴中的模型是交换群对象,环理论的模型是环对象,左R-模理论的模型是左R-模对象,并给出左R-模理论在集合范畴和层范畴等几个具体范畴中的模型. |
| 关 键 词： | 代数理论 逻辑模型 左R-模理论 左R-模对象 |
Type with Module Structure and Its Model of Categorical Logic |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ | |