Commutative Diagram

In mathematics, and especially in category theory, a commutative diagram is a diagram of objects and arrows, called morphisms, in which every directed path between the same two objects gives the same combined result, so that composing arrows along different routes through the diagram always agrees. Commutative diagrams play the same role in category theory that equations play in ordinary algebra, letting a single picture record a whole family of equal compositions at once; the three basic ingredients of such a diagram are its objects, its morphisms, and the paths, or composites, built by following arrows through it. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/