On the characterization of monadic functors over Set:
On the category of (Hausdorff) compactly generated topological spaces being a regular category:
On regular and exact completions (and on free coproduct completions etc.):
On the exact completion of the classical homotopy category being a pretopos:
For the characterisation of categories which are localizations of Maltsev varieties:
On Beck's theorem for pseudomonads (higher monadic descent):
On Gabriel-Ulmer duality for general doctrines:
On locally presentable categories:
Last revised on April 3, 2025 at 17:24:56. See the history of this page for a list of all contributions to it.