Talk:Mac Lane coherence theorem
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Incoherent page about a coherence theorem
This page is supposedly about Mac Lane's coherence theorem, which is a theorem. However, it never actually states a theorem but only discusses a "counterexample", then gives the definition of a monoidal category. I assume the "counterexample" is not a counterexample to the theorem (such a thing cannot exist, because it is a theorem), but rather a counterexample to an incorrect intuitive interpretation of the theorem. This is not really explained, however, and the current page could give the impression that Mac Lane's coherence theorem is either wrong or an incoherent claim or that it consists only of the definition of a monoidal category.
tl;dr: this needs attention from an expert. It should at least state the theorem it's supposed to be about, or if that's too hard, at least explain what the theorem *does* say before discussing a counterexample to something it doesn't say.