{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "2W2X7EBG2S"
    }
  ],
  "body": "\n## Statement\n\nLet $(\\mathcal{C}, \\otimes, I, \\alpha, \\lambda, \\rho)$ be a [[monoidal category|M3MSQ3NKAE]] and let $A, B, C, D$ be objects of $\\mathcal{C}$.\nThen the following [[diagram commutes|WV898P4X16]], as an equality of morphisms $((A \\otimes B) \\otimes C) \\otimes D \\to A \\otimes (B \\otimes (C \\otimes D))$:\n$$(\\id_A \\otimes \\alpha_{B,C,D}) \\circ \\alpha_{A, B \\otimes C, D} \\circ (\\alpha_{A,B,C} \\otimes \\id_D) = \\alpha_{A,B,C \\otimes D} \\circ \\alpha_{A \\otimes B, C, D}.$$\n\n## Remarks\n\nThe identity is one of the two axioms in the definition of a monoidal category, the other being the triangle identity.\nThe five objects obtained by bracketing $A \\otimes B \\otimes C \\otimes D$ in all ways are the vertices of a pentagon, and the five instances of $\\alpha$ are its edges.\nThe left side goes around three edges and the right side around the other two.\nIn $(\\mathbf{Set}, \\times)$ both sides send $(((a,b),c),d)$ to $(a,(b,(c,d)))$.\nBy Mac Lane's coherence theorem, the pentagon and triangle identities imply that all formal diagrams built from $\\alpha$, $\\lambda$ and $\\rho$ commute.\nWithout the pentagon this fails: an associator with an extra sign on real vector spaces satisfies naturality but makes the two routes around the pentagon differ by $-1$.\n\n## Explanations\n\n### L1 human\n\nThere are five ways to put brackets in a product of four things, and the associator moves brackets one step at a time.\nGoing from the leftmost bracketing to the rightmost one can be done in two different ways around a pentagon.\nThe pentagon identity says both ways give the same result.\nThis is what makes \"rebracketing\" a well-defined operation that does not depend on the order of the moves.\n\n### L2 human\n\nThe pentagon identity is the first nontrivial coherence condition for an associativity isomorphism.\nTogether with the triangle identity it implies, by Mac Lane's coherence theorem, that all other diagrams of associators and unitors commute, so one never has to check longer ones.\nThe same pentagon reappears in the definition of bicategories, in the 3-cocycle condition for associators on $\\mathrm{Vec}_G$, and as the Stasheff associahedron $K_4$ in the theory of $A_\\infty$-structures.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "M3MSQ3NKAE"
    ],
    "kind": "statement",
    "msc": [
      "18M05"
    ],
    "name": "Pentagon identity",
    "role": "fact",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Monoidal_category"
      }
    ],
    "tag": "XM4NTS5BGG",
    "uses": [
      "M3MSQ3NKAE",
      "WV898P4X16"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/XM4NTS5BGG/",
  "links": [
    {
      "field": "about",
      "target": "M3MSQ3NKAE"
    },
    {
      "field": "uses",
      "target": "M3MSQ3NKAE"
    },
    {
      "field": "uses",
      "target": "WV898P4X16"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/XM4NTS5BGG.md",
  "msc": [
    "18M05"
  ],
  "name": "Pentagon identity",
  "prov": null,
  "role": "fact",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/XM4/XM4NTS5BGG.md",
  "status": null,
  "tag": "XM4NTS5BGG",
  "uri": "m2://XM4NTS5BGG",
  "url": "https://tamnd.github.io/math2/wiki/pentagon-identity/",
  "writing": {
    "tag": "XM4NTS5BGG",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}