A 2-categorial generalization of the concept of institution

DOI10.1007/S11225-010-9268-0MaRDI QIDQ993499zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Monadic extensions of institutions
• scientific article; zbMATH DE number 1086717
• Abstract Beth definability in institutions
• scientific article; zbMATH DE number 2196612
• Institution morphisms

Cites work

• scientific article; zbMATH DE number 4130339 (Why is no real title available?)
• scientific article; zbMATH DE number 3148408 (Why is no real title available?)
• scientific article; zbMATH DE number 3151655 (Why is no real title available?)
• scientific article; zbMATH DE number 3970817 (Why is no real title available?)
• scientific article; zbMATH DE number 3639689 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 2174737 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 3997131 (Why is no real title available?)
• scientific article; zbMATH DE number 6296809 (Why is no real title available?)
• scientific article; zbMATH DE number 3319568 (Why is no real title available?)
• scientific article; zbMATH DE number 3194561 (Why is no real title available?)
• A 2-categorical framework for the syntax and semantics of many-sorted equational logic
• Algebras with a Scheme of Operators
• Every Standard Construction is Induced by a Pair of Adjoint Functors
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Galois theories
• Heterogeneous algebras
• Institution-independent model theory
• 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. III: Indexed categories
• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• Topics in universal algebra

Cited in

(10)

• Implicit Partiality of Signature Morphisms in Institution Theory
• 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
• What Is a derived signature morphism?
• Abstract categorical logic

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)