In mathematics, and especially in
category theory, a
commutative diagram is a
diagram of objects (also known as
vertices) and
morphisms (also known as
arrows or
edges) such that all directed paths in the diagram with the same start and endpoints lead to the same result by composition. Commutative diagrams play the role in category theory that
equations play in
algebra (see Barr-Wells, Section 1.7).