All Questions

Let $U: Alg_T \to C$ be the forgetful functor from the category of algebras of $T: C \to C$ ($T$ could be a monad; I'm happy to think about the simpler case where $T$ is just an endofunctor or pointed ...

This question concerns the strictness of (co)completions, at various levels of generality. In Blackwell–Kelly–Power's Two-dimensional monad theory, the authors state For instance, the 2-category $\...

In Emily Riehl's Categorical Homotopy Theory, there is a section on Garner's Small Object Argument which I'm trying and failing to understand. Originally I followed most of Garner's paper, using the ...