Institution中自由合并理论的初始与终结语义

Initial and Terminal Semantics for Liberal Glued Theories in Institutions

在一般性的适用框架Ｉｎｓｔｉｔｕｔｉｏｎ中，建立了自由合并理论与各因子理论的初始（终结）语义之间的对应关系，给出了自由理论态射的粘合态射及其相关的初始（终结）语义，并证明了在一定条件下。

In this paper, the correspondence among initial(terminal) semantics of liberal glued theories and factor theories are constructed in Institutions, the glued morphism of liberal theory morphisms and its initial(terminal) semantics are given, and the important conclusion is shown that Sign: Th l→ Sign conditionally reflects colimits.