Essentially equational categories
J. Adámek, H. Herrlich, J. Rosický (1988)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “Algebraic theories and varieties of functor algebras”
Essentially equational categories
On the failure of Birkhoff's theorem for locally small based equational categories of algebras
Horst Herrlich (1993)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
A note on categories of partial algebras
Ivan Žembery (1979)
Mathematica Slovaca
Similarity:
Cartesian closedness in categories of partial algebras.
Šlapal, Josef (1996)
Mathematica Pannonica
Similarity:
A new proof of Reiterman's theorem
Grzegorz Jarzembski (1994)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Free algebras in varieties
Jan Pavlík (2010)
Archivum Mathematicum
Similarity:
We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to one of equational classes defined by equation arrows. Free algebras in the varieties are investigated and their existence is proved under the assumptions of accessibility.
Generalization of the concept of variety and quasivariety to partial algebras through category theory
H. Andréka, I. Németi
Similarity:
CONTENTSIntroduction ................................................................................................5§1. The purely category theoretical version of Birkhoff's theorem................7§2. Category theoretical study of generalized identities............................19§3. Generalized identities in partial algebras.............................................29§4. Calculus...............................................................................................41§5....