dorsal/arxiv
View SchemaCoherence Constraints for Operads, Categories and Algebras
| Authors | Martin Markl, Steve Shnider |
|---|---|
| Categories | |
| ArXiv ID | q-alg/9712027 |
| URL | https://arxiv.org/abs/q-alg/9712027 |
Abstract
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.
{
"annotation_id": "99789114-cce1-4c07-8a93-225e1e247f10",
"date_created": "2026-03-02T18:01:28.070000Z",
"date_modified": "2026-03-02T18:01:28.070000Z",
"file_hash": "6e1aafd58312e6dced0f903dc139e544ac0b1d6233b3ef4549afe8561f11fb6e",
"private": false,
"record": {
"abstract": "Coherence phenomena appear in two different situations. In the context of\ncategory theory the term `coherence constraints\u0027 refers to a set of diagrams\nwhose commutativity implies the commutativity of a larger class of diagrams. In\nthe context of algebra coherence constrains are a minimal set of generators for\nthe second syzygy, that is, a set of equations which generate the full set of\nidentities among the defining relations of an algebraic theory.\n A typical example of the first type is Mac Lane\u0027s coherence theorem for\nmonoidal categories, an example of the second type is the result of Drinfel\u0027d\nsaying that the pentagon identity for the `associator\u0027 of a quasi-Hopf algebra\nimplies the validity of a set of identities with higher instances of this\nassociator.\n We show that both types of coherence are governed by a homological invariant\nof the operad for the underlying algebraic structure. We call this invariant\nthe (space of) coherence constraints. In many cases these constraints can be\nexplicitly described, thus giving rise to various coherence results, both\nclassical and new.",
"arxiv_id": "q-alg/9712027",
"authors": [
"Martin Markl",
"Steve Shnider"
],
"categories": [
"q-alg",
"hep-th",
"math.QA"
],
"title": "Coherence Constraints for Operads, Categories and Algebras",
"url": "https://arxiv.org/abs/q-alg/9712027"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "d1da1c3d-8b37-4b17-ac23-0c80d35ca72c",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}