Loading...
1 results
Search Results
Now showing 1 - 1 of 1
- Totality of product completionsPublication . Adámek, Jirí; Sousa, Lurdes; Tholen, WalterCategories whose Yoneda embedding has a left adjoint are kmown as total categories and are characterized by a strong cocompleteness property. We introduce the notion of multitotal category A by asking the Yoneda embedding A --> [A^{op}, Set] to be right multiadjoint and prove that this property is equivalent to totality of the formal ptoduct completiom of A. We also characterize multitotal categories with various types of generators; in particular, the existence of dense generators is inherited by the formal product completion iff measurable cardinals cannot be arbitrarily large.