A total category is defined to be a category which is locally small and whose Yoneda embedding has a left adjoint.
Every (Grothendieck) topos is total. Every reflective subcategory of a total category is total.
Every colimit preserving functor from a total category to a locally small category has a right adjoint
Created on December 8, 2012 at 01:39:43. See the history of this page for a list of all contributions to it.