Commutative diagram (source code)

= Commutative diagram
{wiki}

A commutative diagram is a diagram of objects and morphisms in which every two directed paths with the same endpoints define the same morphism.