Coherence condition

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article needs attention from an expert in mathematics. See the talk page for details. WikiProject Mathematics may be able to help recruit an expert. (February 2009) This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (September 2017) (Learn how and when to remove this message) (Learn how and when to remove this message)

In mathematics, and particularly category theory, a coherence condition is a collection of conditions requiring that various compositions of elementary morphisms are equal. Typically the elementary morphisms are part of the data of the category. A coherence theorem states that, in order to be assured that all these equalities hold, it suffices to check a small number of identities.