Representing 3/2-Institutions as Stratified Institutions

Răzvan Diaconescu
Additional contact information
Răzvan Diaconescu: Simion Stoilow Institute of Mathematics of the Romanian Academy, 010702 Bucharest, Romania

Mathematics, 2022, vol. 10, issue 9, 1-21

Abstract: On the one hand, the extension of ordinary institution theory, known as the theory of stratified institutions, is a general axiomatic approach to model theories where the satisfaction is parameterized by states of the models. On the other hand, the theory of 3 / 2 -institutions is an extension of ordinary institution theory that accommodates the partiality of the signature morphisms and its syntactic and semantic effects. The latter extension is motivated by applications to conceptual blending and software evolution. In this paper, we develop a general representation theorem of 3 / 2 -institutions as stratified institutions. This enables a transfer of conceptual infrastructure from stratified to 3 / 2 -institutions. We provide some examples in this direction.

Keywords: institution theory; category theory; stratified institutions; 3/2-institutions; categorical model theory (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2022
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/10/9/1507/pdf (application/pdf)
https://www.mdpi.com/2227-7390/10/9/1507/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:10:y:2022:i:9:p:1507-:d:807115

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().