| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 127.83 KB | Adobe PDF |
Authors
Advisor(s)
Abstract(s)
Categories 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.
Description
Keywords
multitotal category multisolid functor product completion
Citation
Publisher
Universitas Carolina