A categorical genealogy for the congruence distributive property.
A characterization of a category of discrete transformation groups
À propos de : «Légitimité des catégories de préfaisceaux»
A remark on accessible and axiomatizable categories
For categories with equalizers the concepts ``accessible'' and ``axiomatizable'' are equivalent. This results is proved under (in fact, is equivalent to) the large-cardinal Vopěnka's principle.
A Remark on Mackey-Functors.
A set functor which commutes with all homfunctors is a homfunctor
A simple proof that localic subgroups are closed
Admissible operations in categories of algebras
Algebras determined by their endomorphism monoids
An elementary characterization of the category of relational systems
Axioms for convenient calculus