Morita equivalence for many-sorted enriched theories

DOI10.1007/s10485-015-9406-yzbMath1360.18006OpenAlexW2264049984MaRDI QIDQ2374328

Jiří Velebil, Matĕj Dostál

Publication date: 15 December 2016

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

Full work available at URL: https://doi.org/10.1007/s10485-015-9406-y

zbMATH Keywords

enriched categoryCauchy completionLawvere theoryMorita theoryweighted colimit

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Enriched categories (over closed or monoidal categories) (18D20)

Cites Work

• Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
• Small Cauchy completions
• The closure of a class of colimits
• Flexible limits for 2-categories
• A classification of accessible categories
• Codescent objects and coherence
• Lawvere theories, finitary monads and Cauchy-completion
• Morita equivalence of many-sorted algebraic theories
• Projectivity of acts and Morita equivalence of monoids
• Functors into categories of M-sets
• Morita theorems for partially ordered monoids
• Morita equivalence 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

This page was built for publication: Morita equivalence for many-sorted enriched theories