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

本文将[1]一个重要定理（见本文命题2）提升为一个函子F：Insc→(Thc)op，并得到了该函子的余连续性和连续性。这为计算机的共享程序的安全调用以及模块化程序的再用技术的实现提供了一定的理论依据．同时也构造了一个liberal理论范畴TH1，这为“逐步求精”法处理参数化数据类型提供了依据，并且将命题2推广到TH1上。