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

摘要

本文将「１」的一个重要定理提升为一个函子：Ｆ：Ｉｎｓ＾ｃ→（Ｔｈ＾ｃ）＾ｏｐ，并得到了该函子的余连续性和连续性。这为计算机的共享程序的安全调用以及模块化程序的再用技术的实现提供了一个理论依据，同时也构造了一个ｌｉｂｅｒａｌ理论范畴ＴＨ＾１，这为“逐步求精”法处理参数化数据类型提供了依据，并且将命题２推广到ＴＨ＾１上。