Grothendieck inclusion systems

DOI10.1007/S10485-009-9211-6MaRDI QIDQ657588zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Grothendieck institutions
• scientific article; zbMATH DE number 1543350
• Abstract and behaviour module specifications
• Institutional 2-cells and Grothendieck Institutions
• scientific article; zbMATH DE number 1929971

Cites work

• scientific article; zbMATH DE number 4180831 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1929971 (Why is no real title available?)
• An institution-independent proof of the Beth definability theorem
• Axiomatizability in inclusive equational logics
• Composing hidden information modules over inclusive institutions
• Elementary Diagrams in Institutions
• Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages
• Foundations of heterogeneous specification.
• Grothendieck institutions
• Institution morphisms
• Institution-independent model theory
• Institutions: abstract model theory for specification and programming
• Logical foundations of CafeOBJ
• Module algebra
• Specifications in an arbitrary institution
• Towards heterogeneous specifications
• Weak inclusion systems

Cited in

(9)

• Institutional 2-cells and Grothendieck Institutions
• CafeOBJ Traces
• Parchments for CafeOBJ logics
• Partialising institutions
• Axiomatizability in inclusive equational logics
• Functorial semantics of first-order views
• Grothendieck institutions
• scientific article; zbMATH DE number 1543350 (Why is no real title available?)
• Comorphisms of structured institutions

Describes a project that uses

Uses Software

• Hets

This page was built for publication: Grothendieck inclusion systems

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