| 摘要: |
| 本文在一定的条件下建立了Institution中理论态射的粘合与各因子态射的自由性之间的联系.并证明了自由理论态射的复合仍为自由的. |
| 关键词: 代数语义学 抽象模型论 范畴论 |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金和国家863高科技项目基金资助. |
|
| PUTTING LIBERAL THEORY MORPHISMS TOGETHER IN INSTITUTIONS |
|
YING Mingsheng
|
| Abstract: |
| The relationship among liberalities of glued theory morphisms and factor theory morphisms in institutions is clarified under certain intuitive conditions, and liberality of the composition of liberal theory morphisms in institutions is shown. |
| Key words: Algebraic semantics abstract model theory category theory |
