A general coherence result (Q1118027): Difference between revisions

Commencing with a paper by S. MacLane in 1963, results about certain diagrams commuting were seen as constituting the essence of a coherence theorem. In 1972/73, G. M. Kelly questioned the importance of such results and outlined several new approaches to coherence. Following Kelly's footsteps, the author states and proves a general coherence result that subsumes earlier results in the literature. The theorem asserts that, for a large class of 2-monads, every pseudo-algebra is equivalent, in the appropriate 2-category of algebras, to a strict algebra.