Institutional 2-cells and Grothendieck Institutions
From MaRDI portal
Publication:5757931
DOI10.1007/11780274_7zbMath1132.68488OpenAlexW1557345541MaRDI QIDQ5757931
Publication date: 7 September 2007
Published in: Algebra, Meaning, and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11780274_7
Related Items (2)
Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Comorphisms of structured institutions
Uses Software
This page was built for publication: Institutional 2-cells and Grothendieck Institutions