{
  "id": "2005.04853",
  "version": "v1",
  "published": "2020-05-11T03:56:02.000Z",
  "updated": "2020-05-11T03:56:02.000Z",
  "title": "Cubical models of $(\\infty, 1)$-categories",
  "authors": [
    "Brandon Doherty",
    "Chris Kapulkin",
    "Zachery Lindsey",
    "Christian Sattler"
  ],
  "comment": "75 pages; first draft; comments welcome",
  "categories": [
    "math.AT",
    "math.CT"
  ],
  "abstract": "We construct a model structure on the category of cubical sets with connections whose cofibrations are the monomorphisms and whose fibrant objects are defined by the right lifting property with respect to inner open boxes, the cubical analogue of inner horns. We show that this model structure is Quillen equivalent to the Joyal model structure on simplicial sets via the triangulation functor. As an application, we show that cubical quasicategories admit an elegant and canonical notion of a mapping space between two objects.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2020-05-11T03:56:02.000Z"
    }
  ],
  "analyses": {
    "subjects": [
      "55U35",
      "18G55",
      "55U40"
    ],
    "keywords": [
      "cubical models",
      "joyal model structure",
      "inner open boxes",
      "quillen equivalent",
      "right lifting property"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 75,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}