Institution中自由合并理论的初始与终结语义<sup>*</sup>

刘富春

引用本文:	刘富春.Institution中自由合并理论的初始与终结语义^*.软件学报,1999,10(2):197-200

【打印本页】【下载PDF全文】【查看/发表评论】【EndNote】【RefMan】【BibTex】

←前一篇|后一篇→

过刊浏览高级检索

本文已被：浏览 4574次下载 5206次	码上扫一扫！
分享到：微信更多字体:加大+\|默认\|缩小-
Institution中自由合并理论的初始与终结语义^*
刘富春¹
广东工业大学数理系,广州,510090

摘要:

在一般性的适用框架Institution中,建立了自由合并理论与各因子理论的初始(终结)语义之间的对应关系,给出了自由理论态射的粘合态射及其相关的初始(终结)语义,并证明了在一定条件下,遗忘函子Sign:Th^l→Sign的反射余极限.

关键词: 代数语义学,程序规范说明,初始模型,模型论,范畴论.

DOI：

分类号:

基金项目:

Initial and Terminal Semantics for Liberal Glued Theories in Institutions

LIU Fu-chun

Abstract:

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.

Key words: Algebraic semantics, programming specification, initial model, model theory, category theory.