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...
- 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...
- 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...
- subobjects are classified. Quasitoposes are also required to be finitely cocomplete and locally cartesian closed. A solid quasitopos is one for which 0 is...
- a small posetal finitely cocomplete cartesian closed category, and a Boolean algebra as a small posetal finitely cocomplete *-autonomous category. Conversely...
- 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...
- a cosmos is a symmetric closed monoidal category that is complete and cocomplete. Enriched category theory is often considered over a cosmos. cosmos at...
- complete and cocomplete, and the identity functor is continuous and cocontinuous. Thus, the category of graphs is complete and cocomplete. The notion of...
- the integral monoid ring Z[X]. The category Ring is both complete and cocomplete, meaning that all small limits and colimits exist in Ring. Like many other...
- 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...