Definition 0.1. A commutative triangle diagram, TCD, which is represented geometrically as:
is also defined algebraically by the equality