Morita equivalence of algebraic theories
From MaRDI portal
Publication:3822370
DOI10.4064/CM-55-1-11-17zbMath0669.18005OpenAlexW345213751MaRDI QIDQ3822370
Publication date: 1988
Published in: Colloquium Mathematicum (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4064/cm-55-1-11-17
Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of algebras (08C05) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (6)
On the notion of bimodel for functorial semantics ⋮ Morita equivalence for many-sorted enriched theories ⋮ Boolean algebras, Morita invariance and the algebraic K-theory of Lawvere theories ⋮ Morita equivalence of many-sorted algebraic theories ⋮ A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES ⋮ Unnamed Item
This page was built for publication: Morita equivalence of algebraic theories