The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Cone
Let be a Diagram.
A cone over consists of an Object of (apex)
together with Morphisms for all (legs)
satisfying for all in
A morphism of cones
is a morphism (in ) satisfying for all
We write for the category of cones over .