Morita equivalence of many-sorted algebraic theories

DOI10.1016/j.jalgebra.2006.01.014zbMath1094.18003OpenAlexW2011715172MaRDI QIDQ2491817

Jiří Adámek, Manuela Sobral, Lurdes Sousa

Publication date: 29 May 2006

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgebra.2006.01.014

zbMATH Keywords

Morita equivalencemany-sorted algebraic theories

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (4)

Morita equivalence for many-sorted enriched theories ⋮ Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ MORITA EQUIVALENCE

Cites Work

• On the notion of bimodel for functorial semantics
• Equivalence for varieties in general and for \(\mathcal {BOOL}\) in particular
• Projectivity of acts and Morita equivalence of monoids
• Functors into categories of M-sets
• Morita equivalence of algebraic theories
• On the Subsemigroups of N
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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