{
  "id": "1203.2553",
  "version": "v4",
  "published": "2012-03-12T17:08:41.000Z",
  "updated": "2018-10-29T10:19:19.000Z",
  "title": "Univalence in Simplicial Sets",
  "authors": [
    "Chris Kapulkin",
    "Peter LeFanu Lumsdaine",
    "Vladimir Voevodsky"
  ],
  "comment": "13 pages. Not intended for publication. An extended version appears as \"The Simplicial Model of Univalent Foundations (after Voevodsky)\", arXiv:1211.2851, presenting the logical as well as the homotopy-theoretic aspects of the model",
  "categories": [
    "math.AT",
    "math.CT"
  ],
  "abstract": "We present an accessible account of Voevodsky's construction of a univalent universe of Kan fibrations.",
  "revisions": [
    {
      "version": "v3",
      "updated": "2012-12-02T06:02:53.000Z",
      "comment": "The Simplicial Model of Univalent Foundations, arxiv:1211.2851, is an expanded version of this note, presenting the logical as well as the simplicial aspects of the model",
      "journal": null,
      "doi": null
    },
    {
      "version": "v4",
      "updated": "2018-10-29T10:19:19.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "55U10",
      "55U35"
    ],
    "keywords": [
      "simplicial sets",
      "univalence",
      "kan fibrations"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 13,
      "language": "en",
      "license": "arXiv",
      "status": "editable",
      "adsabs": "2012arXiv1203.2553K"
    }
  }
}