###
DOI:
Journal of Software:1997.8(8):636-640

Institution中自由理论态射的合成
应明生
(南京航空航天大学计算机科学与工程系,南京,210016)
PUTTING LIBERAL THEORY MORPHISMS TOGETHER IN INSTITUTIONS
YING Mingsheng
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2755   Download 2515
    Revised:October 16, 1996
> 中文摘要: 本文在一定的条件下建立了Institution中理论态射的粘合与各因子态射的自由性之间的联系.并证明了自由理论态射的复合仍为自由的.
中文关键词: 代数语义学  抽象模型论  范畴论  
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.
文章编号:     中图分类号:    文献标志码:
基金项目:本文研究得到国家自然科学基金和国家863高科技项目基金资助. 本文研究得到国家自然科学基金和国家863高科技项目基金资助.
Foundation items:
Reference text:

应明生.Institution中自由理论态射的合成.软件学报,1997,8(8):636-640

YING Mingsheng.PUTTING LIBERAL THEORY MORPHISMS TOGETHER IN INSTITUTIONS.Journal of Software,1997,8(8):636-640