Cocone

A cocone in a category \(\mathcal{C}\)