Partialising institutions

DOI10.1007/s10485-023-09753-warXiv1711.04666MaRDI QIDQ6185812

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

category theoryinstitution theorycategorical model theory\(3/2\)-institutions

Mathematics Subject Classification ID

Category theory; homological algebra (18-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Functorial semantics of first-order views
• Foundations for structuring behavioural specifications
• Foundations of algebraic specification and formal software development.
• Grothendieck inclusion systems
• An institution-independent proof of the Beth definability theorem
• On the existence of free models in abstract algebraic institutions
• Specifications in an arbitrary institution
• Categories of partial maps
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• CASL: the Common Algebraic Specification Language.
• Institution-independent model theory
• From Universal Logic to Computer Science, and Back
• Institutions: abstract model theory for specification and programming
• Weak inclusion systems
• Elementary Diagrams in Institutions
• Axiomatizability in inclusive equational logics
• Implicit Partiality of Signature Morphisms in Institution Theory
• Composing Hidden Information Modules over Inclusive Institutions

This page was built for publication: Partialising institutions