Partialising institutions

DOI10.1007/S10485-023-09753-WMaRDI QIDQ6185812zbMATH OpenFDO

Authors Răzvan Diaconescu

Publication date 8 January 2024

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1711.04666

zbMATH Keywords

\(3/2\)-institutionscategorical model theorycategory theoryinstitution theory

Mathematics Subject Classification ID

Category theory; homological algebra (18-XX)

Abstract: $frac32$-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 $frac32$ -institutions with explicit partiality for their signature morphisms. This provides a general uniform way to build 3 -institutions for the foundations of conceptual blending and software evolution. Moreover our general construction allows for an uniform derivation of some useful technical properties.

Recommendations

• Hybridization of institutions
• scientific article; zbMATH DE number 4037182
• scientific article; zbMATH DE number 6296809
• scientific article; zbMATH DE number 3864486
• Competition among institutions
• Structural induction in institutions
• Constructor-based institutions
• Saturated models in institutions
• Institution morphisms

Cites work

• An institution-independent proof of the Beth definability theorem
• Axiomatizability in inclusive equational logics
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• CASL: the Common Algebraic Specification Language.
• Categories of partial maps
• Composing hidden information modules over inclusive institutions
• Elementary Diagrams in Institutions
• Foundations for structuring behavioural specifications
• Foundations of algebraic specification and formal software development.
• From universal logic to computer science, and back
• Functorial semantics of first-order views
• Grothendieck inclusion systems
• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 17707 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 1418819 (Why is no real title available?)
• scientific article; zbMATH DE number 2246077 (Why is no real title available?)
• Implicit Partiality of Signature Morphisms in Institution Theory
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• On the existence of free models in abstract algebraic institutions
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Specifications in an arbitrary institution
• Weak inclusion systems

Cited in

(1)

• Implicit Partiality of Signature Morphisms in Institution Theory

This page was built for publication: Partialising institutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6185812)