A 2-categorial generalization of the concept of institution

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

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

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)

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)