Loading...
2 results
Search Results
Now showing 1 - 2 of 2
- Constructions of Solid HullsPublication . Adámek, Jirí; Sousa, LurdesFor each concrete category (K,U) an extension LIM(K,U) is constructed and under certain ‘smallness conditions’ it is proved that LIM(K,U) is a solid hull of (K,U), i.e., the least finally dense solid extension of (K,U). A full subcategory of Top_2 is presented which does not have a solid hull.
- 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.