| 关于Institution范畴式定义的注记 |
| |
| 引用本文： | 刘富春. 关于Institution范畴式定义的注记[J]. 江西师范大学学报(自然科学版), 1997, 21(2): 121-126 |
| |
| 作者姓名： | 刘富春 |
| |
| 作者单位： | 江西师范大学数学系 |
| |
| 摘 要： | 该文构造了范畴Ｔｒｅｌ和（１ｓｅｔ／Ｕ）＾ＯＰ之间的同构，从而证明了Ｉｎｓｔｉｔｕｔｉｏｎ的两个范畴式定义的一致性。
|
| 关 键 词： | 抽象模型论 范畴式 范畴同构 Institution |
A Note on the Categorical Definitions of Institution |
| |
| Liu Fuchun. A Note on the Categorical Definitions of Institution[J]. Journal of Jiangxi Normal University (Natural Sciences Edition), 1997, 21(2): 121-126 |
| |
| Authors: | Liu Fuchun |
| |
| Abstract: | |
| |
| Keywords: | abstract model theory categorical definition categorical isomorphism |
| 本文献已被 CNKI 维普 等数据库收录！ |
