A commutative diagram is an arrangement of sets and functions such that any two paths from one given set to another give equal functions. A simple example is
where the commutativity of the diagram means , as both these compositions arise from paths from A to Y