Partialising Institutions

IF 0.6 4区数学 Q3 MATHEMATICS

Applied Categorical Structures Pub Date : 2023-11-15 DOI:10.1007/s10485-023-09753-w

Răzvan Diaconescu

引用次数: 0

Abstract

\({3/2}\)-Institutions have been introduced as an extension of institution theory that accommodates implicitly partiality of the signature morphisms together with its syntactic and semantic effects. In this paper we show that ordinary institutions that are equipped with an inclusion system for their categories of signatures generate naturally \({3/2}\)-institutions with explicit partiality for their signature morphisms. This provides a general uniform way to build \({3/2}\)-institutions for the foundations of conceptual blending and software evolution. Moreover our general construction allows for an uniform derivation of some useful technical properties.

查看原文本刊更多论文

Partialising机构

\({3/2}\)-制度作为制度理论的延伸被引入，它适应了隐含的特征语态偏好及其句法和语义效应。在本文中，我们证明了为其签名类别配备了包含系统的普通机构自然会产生\({3/2}\) -对其签名形态具有明确偏好的机构。这提供了一种通用的统一方式来构建\({3/2}\) -概念混合和软件进化的基础机构。此外，我们的一般构造允许对一些有用的技术性质进行统一的推导。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Applied Categorical Structures 数学-数学

CiteScore

1.30

自引率

16.70%

发文量

审稿时长

>12 weeks

期刊介绍： Applied Categorical Structures focuses on applications of results, techniques and ideas from category theory to mathematics, physics and computer science. These include the study of topological and algebraic categories, representation theory, algebraic geometry, homological and homotopical algebra, derived and triangulated categories, categorification of (geometric) invariants, categorical investigations in mathematical physics, higher category theory and applications, categorical investigations in functional analysis, in continuous order theory and in theoretical computer science. In addition, the journal also follows the development of emerging fields in which the application of categorical methods proves to be relevant. Applied Categorical Structures publishes both carefully refereed research papers and survey papers. It promotes communication and increases the dissemination of new results and ideas among mathematicians and computer scientists who use categorical methods in their research.