On the notion of bimodel for functorial semantics

DOI10.1007/BF00878101zbMath0804.18003MaRDI QIDQ1332449

Enrico M. Vitale, Francis Borceux

Publication date: 16 January 1995

Published in: Applied Categorical Structures (Search for Journal in Brave)

zbMATH Keywords

bimodulesalgebraic theoriesMorita-equivalencereflective subcategorycategory of modelsfunctorial semanticsbimodelfaithfully projective modelKan-extension

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Functor categories, comma categories (18A25)

Related Items

Unnamed Item ⋮ Morita equivalence of many-sorted algebraic theories ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categories of actions and Morita equivalence
• Autonomous categories and duality of functors
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Morita equivalence of algebraic theories
• Accessible Categories: The Foundations of Categorical Model Theory
• Metric spaces, generalized logic, and closed categories
• Algebra valued functors in general and tensor products in particular
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES