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