本文将「１」的一个重要定理提升为一个函子：Ｆ：Ｉｎｓ＾ｃ→（Ｔｈ＾ｃ）＾ｏｐ，并得到了该函子的余连续性和连续性。这为计算机的共享程序的安全调用以及模块化程序的......