{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Example\n\nFix $n \\ge 1$ and let $I^n = (0, 1)^n$ be the open unit cube.\nA *little $n$-cube* is an embedding $I^n \\to I^n$ of the form $(t_1, \\ldots, t_n) \\mapsto (a_1 + b_1 t_1, \\ldots, a_n + b_n t_n)$ with all $b_i \u003e 0$.\nThe space $\\mathcal{C}_n(k)$ is the [[topological space|0CQHFPGJ45]] of $k$-tuples of little $n$-cubes with pairwise disjoint images.\nThe [[symmetric group|0515A6D2Y1]] $\\Sigma_k$ acts by permuting the $k$ cubes, and the unit is the identity cube in $\\mathcal{C}_n(1)$.\nComposition inserts the configuration of $\\mathcal{C}_n(j_i)$ into the $i$-th cube of an element of $\\mathcal{C}_n(k)$, by composing embeddings.\nThese data form the *little $n$-cubes operad* $\\mathcal{C}_n$.\n\nFor a pointed space $X$, the $n$-fold [[loop space|2JFF5F3EGF]] $\\Omega^n X$ is an [[algebra|ES9YATDWA3]] over $\\mathcal{C}_n$.\nView a point of $\\Omega^n X$ as a map $\\bar{I}^n \\to X$ that sends the boundary to the base point.\nGiven $c = (c_1, \\ldots, c_k) \\in \\mathcal{C}_n(k)$ and loops $f_1, \\ldots, f_k$, define $\\theta_k(c; f_1, \\ldots, f_k)$ to be $f_i \\circ c_i^{-1}$ on the image of $c_i$ and the base point elsewhere.\nThis map is continuous, and the algebra clauses hold because composing cubes corresponds to nesting the pictures.\n\n## Remarks\n\nThe space $\\mathcal{C}_n(k)$ is homotopy equivalent to the space of ordered configurations of $k$ distinct points in $\\R^n$, by taking the centres of the cubes.\nIn particular $\\mathcal{C}_n(2)$ is homotopy equivalent to the sphere $S^{n-1}$.\nFor $n = 1$ the operations are associative up to homotopy, but not commutative, since $\\mathcal{C}_1(2)$ has two contractible components, one for each order.\nFor $n \\ge 2$ the sphere $S^{n-1}$ is connected, which is the reason why $\\pi_2$ and higher homotopy groups are abelian.\nMay's recognition principle says that a group-like $\\mathcal{C}_n$-algebra is weakly equivalent to an $n$-fold loop space.\nLetting $n \\to \\infty$ gives an operad $\\mathcal{C}_\\infty$, which is an [[E-infinity operad|T78YG90VVT]].\n\n## Explanations\n\n### L1 human\n\nPicture a big square with several small squares drawn inside it, none overlapping.\nThis picture is a rule for combining several maps defined on squares into one: shrink each map into its small square and fill the rest with a constant.\nSuch pictures can be nested, and that nesting is the operad structure.\nIn dimension one the small intervals sit in a line and their order matters, which gives associative but not commutative products.\nIn dimension two or more the small squares can move around each other, which makes the products commutative up to homotopy.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "illustrates": [
      "ES9YATDWA3"
    ],
    "kind": "example",
    "msc": [
      "18M75",
      "55P48",
      "55P35"
    ],
    "name": "Little cubes operad",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Operad"
      }
    ],
    "tag": "FWT0003QS1",
    "uses": [
      "ES9YATDWA3",
      "2JFF5F3EGF",
      "0515A6D2Y1",
      "T78YG90VVT",
      "0CQHFPGJ45"
    ]
  },
  "kind": "example",
  "link": "https://tamnd.github.io/math2/node/FWT0003QS1/",
  "links": [
    {
      "field": "illustrates",
      "target": "ES9YATDWA3"
    },
    {
      "field": "uses",
      "target": "ES9YATDWA3"
    },
    {
      "field": "uses",
      "target": "2JFF5F3EGF"
    },
    {
      "field": "uses",
      "target": "0515A6D2Y1"
    },
    {
      "field": "uses",
      "target": "T78YG90VVT"
    },
    {
      "field": "uses",
      "target": "0CQHFPGJ45"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/FWT0003QS1.md",
  "msc": [
    "18M75",
    "55P48",
    "55P35"
  ],
  "name": "Little cubes operad",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/FWT/FWT0003QS1.md",
  "status": null,
  "tag": "FWT0003QS1",
  "uri": "m2://FWT0003QS1",
  "url": "https://tamnd.github.io/math2/wiki/little-cubes-operad/",
  "writing": {
    "tag": "FWT0003QS1",
    "kind": "example",
    "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
      }
    ]
  }
}