Grothendieck institutions
From MaRDI portal
Publication:698051
DOI10.1023/A:1016330812768zbMath1008.68078OpenAlexW4254228903MaRDI QIDQ698051
Publication date: 18 September 2002
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1016330812768
institutionsGrothendieck constructionfibrationsalgebraic specificationindexed categoriesfibred categoriesGrothendieck constructionsGrothendieck institution
Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items (18)
Interpolation in Grothendieck institutions ⋮ Generalized Theoroidal Institution Comorphisms ⋮ Heterogeneous Logical Environments for Distributed Specifications ⋮ Topological systems as a framework for institutions ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Preservation in many-valued truth institutions ⋮ Comorphisms of structured institutions ⋮ Grothendieck inclusion systems ⋮ Hybridisation of Institutions in HETS (Tool Paper). ⋮ A logical framework combining model and proof theory ⋮ Parchments for CafeOBJ Logics ⋮ Towards a functional approach to modular ontologies using institutions ⋮ A semantic approach to interpolation ⋮ Towards an Institutional Framework for Heterogeneous Formal Development in UML ⋮ Generalised graded interpolation ⋮ On fuzzification of topological categories ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
Uses Software
This page was built for publication: Grothendieck institutions
