Cone and cocone

A cone from an object $𝐴 \in 𝖢$ to a diagram $𝒟 : 𝖩 \to 𝖢$ is a natural transformation $𝜓 : 𝐴 \Rightarrow 𝒟 : 𝖩 \to 𝖢$ from the constant functor at $𝐴$ . cat Hence for all $𝑖, 𝑗 \in 𝖩$ and $𝛼 \in 𝖩 𝑖, 𝑗$ the following diagram commutes in $𝖢$ :

Dually, a cocone from a diagram $𝒟 : 𝖩 \to 𝖢$ to an object $𝐴 \in 𝖢$ is a natural transformation $𝜓 : 𝒟 \Rightarrow 𝐴 : 𝖩 \to 𝖢$ .

Important examples of cones are the Limits and colimits of a diagram, which are called universal cones.

tidy | en | SemBr

Cone and cocone

Graph View

Backlinks