## ยง Limit/Colimit/Cone/Cocone: the arrows are consistent!

I sometimes wonder if a product is a limit or a colimit (not really, because
I remember that limits are product + equalizers, but it makes for a nice story
nonetheless). I realised that the arrows of a cone/co-cone are always consistent.
Since a cone has arrows *out* of the apex, the universal cone is given by arrows *into* the apex
to be able to compose arrows
Similarly, since a co-cone has arrows *into* the apex, the universal co-cone must have arrows
*out* of the apex into the apex of another co-cone. Thus a terminal object must be a limit/cone,
since we want arrows *into* it (by universality), and that is compatible if the cone itself has arrows
*out* of the apex, ie, a limit, since a limit is a product and thus has projections out of it.