Introduction to coalgebra.
Cartesian closed hull of uniform spaces
-completeness is seldom monadic over graphs.
On sifted colimits and generalized varieties.
An algebraic description of locally multipresentable categories.
Birkhoff's variety theorem with and without free algebras.
How algebraic is algebra?
A farewell to Evelyn Nelson
A farewell to Jan Reiterman
Birkhoff's Covariety Theorem without limitations
J. Rutten proved, for accessible endofunctors of , the dual Birkhoff’s Variety Theorem: a collection of -coalgebras is presentable by coequations ( subobjects of cofree coalgebras) iff it is closed under quotients, subcoalgebras, and coproducts. This result is now proved to hold for all endofunctors of provided that coequations are generalized to mean subchains of the cofree-coalgebra chain. For the concept of coequation introduced by H. Porst and the author, which is a subobject of a member...
A farewell to Professor RNDr. Věra Trnková, DrSc.
Cogeneration and minimal realization (Preliminary communication)
Some generalizations of the notions limit and colimit
Free algebras and automata realizations in the language of categories
Limits and colimits in generalized algebraic categories
A farewell to Jan Reiterman
On a representation of semigroups by products of algebras and relations
Completions of concrete categories
On pure quotients and pure subobjects
In the theory of accessible categories, pure subobjects, i.e. filtered colimits of split monomorphisms, play an important role. Here we investigate pure quotients, i.e., filtered colimits of split epimorphisms. For example, in abelian, finitely accessible categories, these are precisely the cokernels of pure subobjects, and pure subobjects are precisely the kernels of pure quotients.
On congruence lattices in a category
Page 1 Next