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

Created on December 8, 2012 at 01:39:43. See the history of this page for a list of all contributions to it.