A total category is defined as a locally small category whose Yoneda embedding, Y, has a left adj oint, L. Totality implies cocompleteness (and completeness) . The converse is not true. However, many familiar cocomplete ...