Definition:Category of Cocones

Definition
Let $\mathbf C$ be a metacategory.

Let $D: \mathbf J \to \mathbf C$ be a $\mathbf J$-diagram in $\mathbf C$.

The category of cocones from $D$, denoted $\map {\mathbf {Cocone} } D$, is the category with:

Also see

 * Category of Cocones is Category
 * Definition:Category of Cones
 * Definition:Colimit