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

微信服务号

微信订阅号

首页 > 过刊浏览>1999年第10卷第2期 >197-200

Institution中自由合并理论的初始与终结语义*
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:

Initial and Terminal Semantics for Liberal Glued Theories in Institutions

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

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

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.

参考文献

相似文献

引证文献

引用本文

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

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:1997-08-22
最后修改日期:1998-03-03
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码