A 2-categorial generalization of the concept of institution

DOI10.1007/s11225-010-9268-0zbMath1220.03053OpenAlexW2056117375MaRDI QIDQ993499

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

zbMATH Keywords

many-sorted algebrageneralized terminstitution on a categoryKleisli construction

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items

A Universal Characterisation of Codescent Objects ⋮ Term charters ⋮ Implicit Partiality of Signature Morphisms in Institution Theory

Cites Work

• Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
• 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
• Institution-independent model theory
• Topics in universal algebra
• Every Standard Construction is Induced by a Pair of Adjoint Functors
• Heterogeneous algebras
• Algebras with a Scheme of Operators
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item