Physics – High Energy Physics – High Energy Physics - Theory
Scientific paper
1997-12-10
Physics
High Energy Physics
High Energy Physics - Theory
29 pages, LaTeX209, article 12pt + leqno style. A substantially revised version
Scientific paper
Coherence phenomena appear in two different situations. In the context of category theory the term `coherence constraints' refers to a set of diagrams whose commutativity implies the commutativity of a larger class of diagrams. In the context of algebra coherence constrains are a minimal set of generators for the second syzygy, that is, a set of equations which generate the full set of identities among the defining relations of an algebraic theory. A typical example of the first type is Mac Lane's coherence theorem for monoidal categories, an example of the second type is the result of Drinfel'd saying that the pentagon identity for the `associator' of a quasi-Hopf algebra implies the validity of a set of identities with higher instances of this associator. We show that both types of coherence are governed by a homological invariant of the operad for the underlying algebraic structure. We call this invariant the (space of) coherence constraints. In many cases these constraints can be explicitly described, thus giving rise to various coherence results, both classical and new.
Markl Martin
Shnider Steve
No associations
LandOfFree
Coherence Constraints for Operads, Categories and Algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Coherence Constraints for Operads, Categories and Algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Coherence Constraints for Operads, Categories and Algebras will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-437555