Introduction to coalgebra.
Adámek, Jiří (2005)
Theory and Applications of Categories [electronic only]
Similarity:
Displaying similar documents to “Iterative algebras: how iterative are they?”
Introduction to coalgebra.
Dense morphisms of monads.
Karazeris, Panagis, Velebil, Jiří (2007)
Theory and Applications of Categories [electronic only]
Similarity:
On the corresponding to bialgebras
Teimuraz Pirashvili (2002)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
HSP subcategories of Eilenberg-Moore algebras.
Barr, Michael (2002)
Theory and Applications of Categories [electronic only]
Similarity:
Essentially equational categories
J. Adámek, H. Herrlich, J. Rosický (1988)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
A new proof of Reiterman's theorem
Grzegorz Jarzembski (1994)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
The point of the empty set
Michael Barr (1972)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Generalizing substitution
Tarmo Uustalu (2003)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
It is well known that, given an endofunctor on a category , the initial -algebras (if existing), i.e., the algebras of (wellfounded) -terms over different variable supplies , give rise to a monad with substitution as the extension operation (the free monad induced by the functor ). Moss [17] and Aczel, Adámek, Milius and Velebil [2] have shown that a similar monad, which even enjoys the additional special property of having iterations for all guarded substitution rules (complete...
More on orthogonality in locally presentable categories
M. Hebert, J. Adamek, J. Rosický (2001)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: