{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q982156","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q982156","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q982156","kernelVersion":"v1","immutable":true,"modified":"2026-03-27T16:46:10Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q982156","name":"A Cartesian presentation of weak \\(n\\)-categories","headline":"A Cartesian presentation of weak \\(n\\)-categories","description":"scientific article; zbMATH DE number 5730917","url":"https://portal.mardi4nfdi.de/entity/Q982156","datePublished":"2010-07-06","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q240403"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q258878"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.2140/GT.2010.14.521","url":"https://doi.org/10.2140/GT.2010.14.521"},"sameAs":["https://doi.org/10.2140/GT.2010.14.521"],"comment":"In a previous paper, the author developed a model for the homotopy theory of homotopy theories, namely that of complete Segal spaces. These simplicial spaces satisfied some conditions allowing them to be regarded as up-to-homotopy versions of simplicial categories. Furthermore, they are the fibrant objects in a cartesian model structure on the category of simplicial spaces which is obtained as a localization of the Reedy structure. This work has become of particular interest because complete Segal spaces can be thought of as \\((\\infty, 1)\\)-categories, or \\(\\infty\\)-categories with all morphisms invertible after level one.   This current paper is an extension of this work, in that it provides a model for more general \\((\\infty, n)\\)-categories, where morphisms are now invertible above dimension \\(n\\). The idea is to replace simplicial diagrams of simplicial sets by diagrams indexed by an inductively defined category \\(\\Theta_n\\) whose objects can be thought of as certain basic kinds of strict \\(n\\)-categories. As before, there is a cartesian model structure on the category of all such diagrams, and the fibrant objects satisfy higher-order variations of the conditions for complete Segal spaces. In particular, a Segal condition guarantees that composition is defined up to homotopy at all levels, and a completeness condition says that the simplicial set associated to a single \\(k\\)-morphism is a kind of moduli space which is equivalent to the space of homotopy equivalences in the simplicial set associated to a single \\((k+1)\\)-morphism.  Different characterizations of these fibrant objects are given, and the special cases of groupoid objects (where all morphisms are weakly invertible) and truncated objects modeling \\((m,n)\\)-categories are also considered. In particular, groupoid objects in the truncated setting are shown to satisfy the homotopy hypothesis, a condition generally expected of any model for higher categories.   It should be noted that a correction to the proof of Proposition 6.6 has been published [see \\textit{C. Rezk}, Geom. Topol. 14, No. 4, 2301--2304 (2010; Zbl 1203.18016)].","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q4250400"},{"@id":"https://portal.mardi4nfdi.de/entity/Q696846"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2370163"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3420390"},{"@id":"https://portal.mardi4nfdi.de/entity/Q884326"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5957500"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4790109"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4220599"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5431520"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2768440"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3645675"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4523176"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1284154"}]},"provenance":{"prov:generatedAtTime":"2026-03-27T16:46:10Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}