Wendt, Michael Albert (1985)
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 ...