{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "779ZSEF36C"
    },
    {
      "field": "uses",
      "target": "G87CWTXAWC"
    },
    {
      "field": "uses",
      "target": "GRQM6KXA00"
    },
    {
      "field": "uses",
      "target": "H2YS8SX31W"
    },
    {
      "field": "specializes",
      "target": "9328WEVJEK"
    },
    {
      "field": "specializes",
      "target": "FDFYCM3YYC"
    },
    {
      "field": "specializes",
      "target": "RV0MKJ3CQ6"
    },
    {
      "field": "defines",
      "target": "EPAZPBPFF9"
    }
  ],
  "body": "\n## Summary\n\nA simplicial set is a [[presheaf|AND2WHZC8P]] on the [[simplex category|FRFYHJGAN3]], that is, a [[simplicial object|WK0A32TZHB]] in the category of sets.\nIt records a set $X_n$ of $n$-simplices for each $n$, together with face and degeneracy maps.\nSimplicial sets are a combinatorial model for topological spaces up to homotopy, and they extend [[simplicial complexes|V8GZ0W1ZZ5]] by allowing degenerate and repeated simplices.\nThrough the [[nerve|RV0MKJ3CQ6]] they also contain all small categories, which makes them the basis of [[quasi-categories|9328WEVJEK]].\n\n## Explanations\n\n### L1 human\n\nImagine building a shape from points, edges, triangles and higher-dimensional triangles, glued along their faces.\nA simplicial set lists the pieces of each dimension and says which pieces are faces of which.\nIt also keeps \"flattened\" copies of lower pieces, such as an edge whose two ends are the same point, which makes the bookkeeping uniform.\nThe [[singular simplicial set|RWBMXQW6S5]] of a space $Y$ is an example: its $n$-simplices are the continuous maps from the standard $n$-simplex into $Y$.\nThe simplest example is the standard $n$-simplex $\\Delta^n$, whose $m$-simplices are the order-preserving maps $[m] \\to [n]$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18N50",
      "55U10"
    ],
    "name": "Simplicial set",
    "same_as": {
      "wikidata": "Q1467124",
      "wikipedia": "Simplicial set"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Simplicial_set"
      }
    ],
    "specializes": [
      "WK0A32TZHB",
      "AND2WHZC8P"
    ],
    "tag": "WW81ARB8K9"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/WW81ARB8K9/",
  "links": [
    {
      "field": "specializes",
      "target": "WK0A32TZHB"
    },
    {
      "field": "specializes",
      "target": "AND2WHZC8P"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/WW81ARB8K9.md",
  "msc": [
    "18N50",
    "55U10"
  ],
  "name": "Simplicial set",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/WW8/WW81ARB8K9.md",
  "status": null,
  "tag": "WW81ARB8K9",
  "uri": "m2://WW81ARB8K9",
  "url": "https://tamnd.github.io/math2/wiki/simplicial-set/",
  "writing": {
    "tag": "WW81ARB8K9",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}