{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T04:11:29Z","timestamp":1751343089792,"version":"3.41.0"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T00:00:00Z","timestamp":1748736000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,6,9]],"date-time":"2025-06-09T00:00:00Z","timestamp":1749427200000},"content-version":"vor","delay-in-days":8,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001786","name":"The University of Adelaide","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100001786","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2025,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>We prove that for any bisimplicial set <jats:italic>X<\/jats:italic>, the natural comparison map between the diagonal <jats:italic>dX<\/jats:italic> and the total simplicial set <jats:italic>TX<\/jats:italic> is a categorical equivalence in the sense of Joyal and Lurie.<\/jats:p>","DOI":"10.1007\/s10485-025-09815-1","type":"journal-article","created":{"date-parts":[[2025,6,9]],"date-time":"2025-06-09T10:23:39Z","timestamp":1749464619000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A remark on the total simplicial set functor"],"prefix":"10.1007","volume":"33","author":[{"given":"Danny","family":"Stevenson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,6,9]]},"reference":[{"key":"9815_CR1","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0040-9383(66)90018-8","volume":"5","author":"M Artin","year":"1966","unstructured":"Artin, M., Mazur, B.: On the van Kampen Theorem. Topology 5, 179\u2013189 (1966)","journal-title":"Topology"},{"issue":"3","key":"9815_CR2","first-page":"465","volume":"111","author":"M B\u00f6kstedt","year":"1983","unstructured":"B\u00f6kstedt, M., Hsiang, W.C., Madsen, I.: The cyclotomic trace and the algebraic $$K$$-theory of spaces. Invent. Math. 111(3), 465\u2013539 (1983)","journal-title":"Invent. Math."},{"issue":"1","key":"9815_CR3","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.topol.2004.12.003","volume":"153","author":"A Cegarra","year":"2005","unstructured":"Cegarra, A., Remedios, J.: The relationship between the diagonal and the bar constructions on a bisimplicial set. Topol. Appl. 153(1), 21\u201351 (2005)","journal-title":"Topol. Appl."},{"issue":"4","key":"9815_CR4","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/1385-7258(84)90038-6","volume":"46","author":"WG Dwyer","year":"1984","unstructured":"Dwyer, W.G., Kan, D.M.: Homotopy theory and simplicial groupoids. Nederl. Akad. Wetensch. Indag. Math. 46(4), 379\u2013385 (1984)","journal-title":"Nederl. Akad. Wetensch. Indag. Math."},{"key":"9815_CR5","volume-title":"Simplicial groupoids as models for homotopy types","author":"P Ehlers","year":"1991","unstructured":"Ehlers, P.: Simplicial groupoids as models for homotopy types. University of Wales, Bangor (1991)"},{"key":"9815_CR6","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/S0022-4049(98)00065-6","volume":"145","author":"PJ Ehlers","year":"2000","unstructured":"Ehlers, P.J., Porter, T.: Joins for (augmented) simplicial sets. J. Pure Appl. Alg. 145, 37\u201344 (2000)","journal-title":"J. Pure Appl. Alg."},{"key":"9815_CR7","unstructured":"Jardine, J. F.: Path categories and quasi-categories, preprint, available as arXiv:1909.08419"},{"key":"9815_CR8","volume-title":"The theory of quasicategories and its applications, Advanced course on simplicial methods in higher category theory","author":"A Joyal","year":"2008","unstructured":"Joyal, A.: The theory of quasicategories and its applications, Advanced course on simplicial methods in higher category theory, vol. 2. Center de Recerca, Matem\u00e0tica (2008)"},{"key":"9815_CR9","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1090\/conm\/431\/08278","volume":"431","author":"A Joyal","year":"2007","unstructured":"Joyal, A., Tierney, M.: Quasi-categories vs Segal spaces, Categories in algebra, geometry and mathematical physics. Contemp. Math. Amer. Math. Soc. 431, 277\u2013326 (2007)","journal-title":"Contemp. Math. Amer. Math. Soc."},{"key":"9815_CR10","volume-title":"Higher topos theory, Annals of Mathematics Studies","author":"J Lurie","year":"2009","unstructured":"Lurie, J.: Higher topos theory, Annals of Mathematics Studies. Princeton University Press, Princeton (2009)"},{"key":"9815_CR11","unstructured":"Lurie, J.: Higher algebra, http:\/\/www.math.ias.edu\/~lurie\/papers\/HA.pdf (2017)"},{"key":"9815_CR12","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s40062-020-00257-1","volume":"15","author":"V Ozornova","year":"2020","unstructured":"Ozornova, V., Rovelli, M.: The unit of the total d\u00e9calage adjunction. J. Homotopy Rel. Struct. 15, 333\u2013349 (2020)","journal-title":"J. Homotopy Rel. Struct."},{"key":"9815_CR13","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/BF01390197","volume":"21","author":"GB Segal","year":"1973","unstructured":"Segal, G.B.: Configuration spaces and iterated loop spaces. Invent. Math. 21, 213\u2013221 (1973)","journal-title":"Invent. Math."},{"key":"9815_CR14","doi-asserted-by":"publisher","first-page":"1013","DOI":"10.1007\/s40062-014-0095-2","volume":"10","author":"M Zisman","year":"2015","unstructured":"Zisman, M.: Comparaison de deux diagonales pour un ensemble bisimplicial. J. Homotopy Rel. Struct. 10, 1013\u20131021 (2015)","journal-title":"J. Homotopy Rel. Struct."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-025-09815-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-025-09815-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-025-09815-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,30]],"date-time":"2025-06-30T17:34:17Z","timestamp":1751304857000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-025-09815-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6]]},"references-count":14,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["9815"],"URL":"https:\/\/doi.org\/10.1007\/s10485-025-09815-1","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"type":"print","value":"0927-2852"},{"type":"electronic","value":"1572-9095"}],"subject":[],"published":{"date-parts":[[2025,6]]},"assertion":[{"value":"24 September 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 May 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 June 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"21"}}