Equivalence for varieties in general and for \(\mathcal {BOOL}\) in particular

DOI10.1007/s000120050151zbMath1012.08009OpenAlexW2067148252MaRDI QIDQ1866805

Hans-E. Porst

Publication date: 23 April 2003

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

Full work available at URL: https://doi.org/10.1007/s000120050151

zbMATH Keywords

Boolean algebrasPost algebrasequivalences between varietiesMorita equivalence of Lawvere theoriesvarietal generator

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Structure theory of Boolean algebras (06E05) Equational classes, universal algebra in model theory (03C05) Categories of algebras (08C05) Post algebras (lattice-theoretic aspects) (06D25) Varieties (08B99)

Related Items (4)

Internal coalgebras in cocomplete categories: Generalizing the Eilenberg–Watts theorem ⋮ Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras ⋮ Morita equivalence of many-sorted algebraic theories ⋮ A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES

This page was built for publication: Equivalence for varieties in general and for \(\mathcal {BOOL}\) in particular