In mathematics, and especially in category theory, a commutative diagram is a diagram such that all directed paths in the diagram with the same start and endpoints lead to the same result.[1] It is said that commutative diagrams play the role in category theory that equations play in algebra.[2]