Spahn total category

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