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
Limits and colimits in generalized algebraic categories
Free algebras and automata realizations in the language of categories
Some generalizations of the notions limit and colimit
Cogeneration and minimal realization (Preliminary communication)
A farewell to Jan Reiterman
A farewell to Professor RNDr. Věra Trnková, DrSc.
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...
On a representation of semigroups by products of algebras and relations
Completions of concrete categories
On congruence lattices in a category
Coequalizers in the generalized algebraic categories
Page 1 Next