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...
- 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...
- subobjects are classified. Quasitoposes are also required to be finitely cocomplete and locally cartesian closed. A solid quasitopos is one for which 0 is...
- complete and cocomplete, and the identity functor is continuous and cocontinuous. Thus, the category of graphs is complete and cocomplete. The notion of...
- 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...
- monoidal category with a compatible dagger structure. A cosmos is a complete cocomplete closed symmetric monoidal category. In a symmetric monoidal category,...