A farewell to Evelyn Nelson
A farewell to Jan Reiterman
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
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
Functorial algebras and automata
Věra Trnková's unbelievable 60
Coequalizers in the generalized algebraic categories
Cartesian closed functor-structured categories
Remarks on flows in network with short paths
On congruence lattices in a category
Exactness of the set-valued colim
Cartesian closed categories, quasitopoi and topological universes
What to embed into a Cartesian closed topological category (Preliminary communication)
Page 1 Next