Mac Lane coherence theorem (original) (raw)

In category theory, a branch of mathematics, Mac Lane coherence theorem states, in the words of Saunders Mac Lane, “every diagram commutes”. More precisely (cf. ), it states every commutes, where "formal diagram" is an analog of well-formed formulae and terms in proof theory.