Definition, synonyms and related words
An object V together with an arrow going from each object of a diagram to V such that for any arrow A in the diagram, the pair of arrows to V which form a triangle with A also commute with it.