Institution理论中一个提升函子的余连续性和连续性

下载PDF

导出

摘要该文构作了两个范畴Ｉｎｓｃ和Ｔｈｃ，将Ｊ．Ａ．Ｇｏｇｕｅｎ等文中的一个重要定理（即该文命题２）提升为一个函子Ｆ：Ｉｎｓｃ→Ｔｈｃｏｐ，并且得到了该函子的余连续性和连续性．这为计算机模块化程序的安全调用以及系统工程中子系统理论的建立提供了一定的理论依据．另外也将命题２推广到ｌｉｂｅｒａｌ理论范畴Ｔｈｌ＆上．

作者刘富春

机构地区江西师范大学数学系

出处《江西师范大学学报（自然科学版）》 CAS 1997年第3期233-238,共6页 Journal of Jiangxi Normal University(Natural Science Edition)

关键词余连续连续函子范畴 INSTITUTION

分类号 O154 [理学—基础数学] O141 [理学—基础数学]

引文网络
相关文献

1刘富春.方程逻辑Institution理论及其性质[J].广东有色金属学报,2005,15(1):61-64.
2刘富春.关于Institution范畴式定义的注记[J].江西师范大学学报（自然科学版）,1997,21(2):121-126.
3刘富春.适用于程序规范说明的Institution范畴的完备性研究[J].计算机工程与应用,2005,41(7):64-66.
4应明生.Institution中自由理论态射的合成[J].软件学报,1997,8(8):636-640. 被引量：6
5Close Up：Radiohead‘House of Cards’[J].计算机光盘软件与应用（COMPUTER ARTS数码艺术）,2008(11):124-125.
6刘富春.正则序类方程逻辑的Institution[J].江西师范大学学报（自然科学版）,1997,21(4):318-322. 被引量：1
7Sun Yongsheng,Liu Yongping.N-WIDTHS FOR SOME CLASSES OF PERIODIC FUNCTIONS WITH BOUNDARY CONDITIONS[J].Analysis in Theory and Applications,1992,8(3):21-27. 被引量：1
8刘富春.Institution 中理论与模型的闭包定理[J].广东工业大学学报,1998,15(1):83-86.
9邱雁.数论和音乐[J].上海中学数学,2002(2).
10Matthias Klumpp.Indicator and Institution Selection for a HELENA European University Efficiency Analysis[J].US-China Education Review(B),2014,4(3):175-185.

江西师范大学学报（自然科学版）

1997年第3期

浏览历史

内容加载中请稍等...

Institution理论中一个提升函子的余连续性和连续性

相关作者

相关机构

相关主题

浏览历史