Algebraic theories and varieties of functor algebras
Jan Reiterman (1983)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Free algebras in varieties”
Algebraic theories and varieties of functor algebras
Essentially equational categories
J. Adámek, H. Herrlich, J. Rosický (1988)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Descent in categories of (co)algebras.
Mesablishvili, Bachuki (2005)
Homology, Homotopy and Applications
Similarity:
On sifted colimits and generalized varieties.
Adámek, Jiří, Rosický, Jiří (2001)
Theory and Applications of Categories [electronic only]
Similarity:
Object-Free Definition of Categories
Marco Riccardi (2013)
Formalized Mathematics
Similarity:
Category theory was formalized in Mizar with two different approaches [7], [18] that correspond to those most commonly used [16], [5]. Since there is a one-to-one correspondence between objects and identity morphisms, some authors have used an approach that does not refer to objects as elements of the theory, and are usually indicated as object-free category [1] or as arrowsonly category [16]. In this article is proposed a new definition of an object-free category, introducing the two...
Birkhoff's variety theorem with and without free algebras.
Adámek, Jiří, Trnková, Věra (2005)
Theory and Applications of Categories [electronic only]
Similarity:
On the characterization of monadic categories over set
Enrico M. Vitale (1994)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
How algebraic is algebra?
Adámek, Jiří, Lawvere, F.W., Rosický, Jiří (2001)
Theory and Applications of Categories [electronic only]
Similarity:
Varieties of universal algebras with normal local projections.
Janelidze, Z. (2004)
Georgian Mathematical Journal
Similarity: