Definition of Cocomplete. Meaning of Cocomplete. Synonyms of Cocomplete

- Dually, a cocomplete category is one in which all small colimits exist. A bicomplete category is a category which is both complete and cocomplete. The existence...
- a small posetal finitely cocomplete cartesian closed category, and a Boolean algebra as a small posetal finitely cocomplete *-autonomous category. Conversely...
- tensor algebra is a free algebra, the corresponding coalgebra is termed cocomplete co-free. With the usual product this is not a bialgebra. It can be turned...
- category C where every diagram from a small category to C has a limit; it is cocomplete if every such functor has a colimit Completeness (order theory), a notion...
- a cosmos is a symmetric closed monoidal category that is complete and cocomplete. Enriched category theory is often considered over a cosmos. cosmos at...
- subobjects are classified. Quasitoposes are also required to be finitely cocomplete and locally cartesian closed. A solid quasitopos is one for which 0 is...
- properties of D {\displaystyle D} : if D {\displaystyle D} is complete (or cocomplete), then so is D C {\displaystyle D^{C}} ; if D {\displaystyle D} is an...
- that there is a natural equivalence between geometric morphisms from a cocomplete topos E to T and the category of models for the structure in E. The classifying...
- F:\mathbf {A} \to \mathbf {B} } are two functors. If A is small and C is cocomplete, then there exists a left Kan extension Lan F ⁡ X {\displaystyle \operatorname...
- and unique lifting of limits). The category Top is both complete and cocomplete, which means that all small limits and colimits exist in Top. In fact...