 Cone (category theory)

In category theory, a **cone** is a concept that originates from the idea of a collection of objects that map to a common object in a diagram. More formally, if you have a diagram \( D \) in a category \( \mathcal{C} \), a cone over that diagram consists of: 1. An object \( C \) in \( \mathcal{C} \), often referred to as the "apex" of the cone.