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

摘要

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