Grothendieck inclusion systems

DOI10.1007/s10485-009-9211-6zbMath1261.18005OpenAlexW2004395100MaRDI QIDQ657588

Răzvan Diaconescu

Publication date: 10 January 2012

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

Full work available at URL: https://doi.org/10.1007/s10485-009-9211-6

zbMATH Keywords

Grothendieck categoriesGrothendieck institutionsinclusion systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50)

Related Items

Functorial semantics of first-order views ⋮ Partialising institutions ⋮ Comorphisms of structured institutions ⋮ CafeOBJ Traces ⋮ Parchments for CafeOBJ Logics

Uses Software

• Hets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Grothendieck institutions
• Institution morphisms
• An institution-independent proof of the Beth definability theorem
• Specifications in an arbitrary institution
• Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
• Logical foundations of CafeOBJ
• Institution-independent model theory
• Module algebra
• Institutions: abstract model theory for specification and programming
• Weak inclusion systems
• Elementary Diagrams in Institutions
• Axiomatizability in inclusive equational logics
• Composing Hidden Information Modules over Inclusive Institutions
• Recent Trends in Algebraic Development Techniques