A 2-categorial generalization of the concept of institution
From MaRDI portal
Publication:993499
DOI10.1007/S11225-010-9268-0zbMATH Open1220.03053OpenAlexW2056117375MaRDI QIDQ993499FDOQ993499
Authors: J. Soliveres Tur, Juan Climent Vidal
Publication date: 20 September 2010
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-010-9268-0
Recommendations
Categorical logic, topoi (03G30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Cites Work
- Title not available (Why is that?)
- Institution-independent model theory
- Galois theories
- Title not available (Why is that?)
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- Title not available (Why is that?)
- Every Standard Construction is Induced by a Pair of Adjoint Functors
- Heterogeneous algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Topics in universal algebra
- Title not available (Why is that?)
- Algebras with a Scheme of Operators
- Title not available (Why is that?)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- Title not available (Why is that?)
- A 2-categorical framework for the syntax and semantics of many-sorted equational logic
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (10)
- Monadic extensions of institutions
- A universal characterisation of codescent objects
- A 2-categorical framework for the syntax and semantics of many-sorted equational logic
- Institution morphisms
- Towards a uniform presentation of logical systems by indexed categories and adjoint situations
- Term charters
- Abstract Beth definability in institutions
- Abstract categorical logic
- What Is a derived signature morphism?
- Implicit Partiality of Signature Morphisms in Institution Theory
This page was built for publication: A 2-categorial generalization of the concept of institution
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q993499)