{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T10:16:06Z","timestamp":1780049766738,"version":"3.53.1"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2026,3,22]],"date-time":"2026-03-22T00:00:00Z","timestamp":1774137600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,3,22]],"date-time":"2026-03-22T00:00:00Z","timestamp":1774137600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"National Science Foundation","award":["DMS-2506116"],"award-info":[{"award-number":["DMS-2506116"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2026,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    We show that, for any 2-category\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\mathcal {C}$$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mi>C<\/mml:mi>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    and 2-functor\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$F:\\mathcal {C}^\\textrm{op}\\rightarrow \\underline{\\textrm{Cat}}$$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mrow>\n                            <mml:mi>F<\/mml:mi>\n                            <mml:mo>:<\/mml:mo>\n                            <mml:msup>\n                              <mml:mrow>\n                                <mml:mi>C<\/mml:mi>\n                              <\/mml:mrow>\n                              <mml:mtext>op<\/mml:mtext>\n                            <\/mml:msup>\n                            <mml:mo>\u2192<\/mml:mo>\n                            <mml:munder>\n                              <mml:mtext>Cat<\/mml:mtext>\n                              <mml:mo>\u0332<\/mml:mo>\n                            <\/mml:munder>\n                          <\/mml:mrow>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    , the double category of elements\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$\\iint _\\mathcal {C}F$$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mrow>\n                            <mml:msub>\n                              <mml:mo>\u222c<\/mml:mo>\n                              <mml:mi>C<\/mml:mi>\n                            <\/mml:msub>\n                            <mml:mi>F<\/mml:mi>\n                          <\/mml:mrow>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    introduced by Grandis and Par\u00e9 satisfies a version of Thomason\u2019s colimit theorem; that is, there is a weak homotopy equivalence\n                    <jats:inline-formula>\n                      <jats:alternatives>\n                        <jats:tex-math>$$B{{\\,\\mathrm{\\textrm{hocolim}}\\,}}F\\simeq B(\\iint _\\mathcal {C}F)$$<\/jats:tex-math>\n                        <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                          <mml:mrow>\n                            <mml:mi>B<\/mml:mi>\n                            <mml:mrow>\n                              <mml:mspace\/>\n                              <mml:mtext>hocolim<\/mml:mtext>\n                              <mml:mspace\/>\n                            <\/mml:mrow>\n                            <mml:mi>F<\/mml:mi>\n                            <mml:mo>\u2243<\/mml:mo>\n                            <mml:mi>B<\/mml:mi>\n                            <mml:mo>(<\/mml:mo>\n                            <mml:msub>\n                              <mml:mo>\u222c<\/mml:mo>\n                              <mml:mi>C<\/mml:mi>\n                            <\/mml:msub>\n                            <mml:mi>F<\/mml:mi>\n                            <mml:mo>)<\/mml:mo>\n                          <\/mml:mrow>\n                        <\/mml:math>\n                      <\/jats:alternatives>\n                    <\/jats:inline-formula>\n                    .\n                  <\/jats:p>","DOI":"10.1007\/s10485-026-09858-y","type":"journal-article","created":{"date-parts":[[2026,3,22]],"date-time":"2026-03-22T12:30:54Z","timestamp":1774182654000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Thomason\u2019s Colimit Theorem for the Double Category of Elements"],"prefix":"10.1007","volume":"34","author":[{"given":"Andrew","family":"Gill","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maru","family":"Sarazola","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,3,22]]},"reference":[{"key":"9858_CR1","unstructured":"Bakovic, I.: Grothendieck construction for bicategories. http:\/\/wwwirb.hr\/korisnici\/ibakovic\/sgc.pdf, (2009)"},{"issue":"6","key":"9858_CR2","doi-asserted-by":"publisher","first-page":"1034","DOI":"10.1016\/j.jpaa.2013.11.002","volume":"218","author":"M Buckley","year":"2014","unstructured":"Buckley, M.: Fibred 2-categories and bicategories. J. Pure Appl. Algebra 218(6), 1034\u20131074 (2014)","journal-title":"J. Pure Appl. Algebra"},{"issue":"1","key":"9858_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s40062-013-0059-y","volume":"9","author":"M Calvo","year":"2014","unstructured":"Calvo, M., Cegarra, A.M., Heredia, B.A.: Bicategorical homotopy fiber sequences. J. Homotopy Relat. Struct. 9(1), 125\u2013173 (2014)","journal-title":"J. Homotopy Relat. Struct."},{"issue":"4","key":"9858_CR4","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1016\/j.jpaa.2010.04.022","volume":"215","author":"AM Cegarra","year":"2011","unstructured":"Cegarra, A.M.: Homotopy fiber sequences induced by 2-functors. J. Pure Appl. Algebra 215(4), 310\u2013334 (2011)","journal-title":"J. Pure Appl. Algebra"},{"issue":"4","key":"9858_CR5","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1007\/s40062-016-0150-2","volume":"11","author":"AM Cegarra","year":"2016","unstructured":"Cegarra, A.M., Heredia, B.A.: Homotopy colimits of 2-functors. J. Homotopy Relat. Struct. 11(4), 735\u2013774 (2016)","journal-title":"J. Homotopy Relat. Struct."},{"issue":"6","key":"9858_CR6","doi-asserted-by":"publisher","first-page":"1283","DOI":"10.1007\/s10485-022-09691-z","volume":"30","author":"T Clingman","year":"2022","unstructured":"Clingman, T., Moser, L.: 2-limits and 2-terminal objects are too different. Appl. Categ. Structures 30(6), 1283\u20131304 (2022)","journal-title":"Appl. Categ. Structures"},{"issue":"3","key":"9858_CR7","first-page":"259","volume":"63","author":"T Clingman","year":"2022","unstructured":"Clingman, T., Moser, L.: Bi-initial objects and bi-representations are not so different. Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g. 63(3), 259\u2013330 (2022)","journal-title":"Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g."},{"issue":"1","key":"9858_CR8","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.topol.2004.12.003","volume":"153","author":"AM Cegarra","year":"2005","unstructured":"Cegarra, A.M., Remedios, J.: The relationship between the diagonal and the bar constructions on a bisimplicial set. Topology Appl. 153(1), 21\u201351 (2005)","journal-title":"Topology Appl."},{"key":"9858_CR9","doi-asserted-by":"crossref","unstructured":"Goerss, P.G., Jardine, J.F.: Simplicial homotopy theory. Modern Birkh\u00e4user Classics. Birkh\u00e4user Verlag, Basel, (2009). Reprint of the 1999 edition [MR1711612]","DOI":"10.1007\/978-3-0348-8707-6"},{"issue":"3","key":"9858_CR10","first-page":"162","volume":"40","author":"M Grandis","year":"1999","unstructured":"Grandis, M., Par\u00e9, R.: Limits in double categories. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 40(3), 162\u2013220 (1999)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"key":"9858_CR11","unstructured":"Grandis, M., Par\u00e9, R.: Persistent double limits and flexible weighted limits. https:\/\/www.mscs.dal.ca\/~pare\/DblPrs2.pdf, (2019)"},{"key":"9858_CR12","volume-title":"Higher Dimensional Categories: From Double to Multiple Categories","author":"M Grandis","year":"2020","unstructured":"Grandis, M.: Higher Dimensional Categories: From Double to Multiple Categories. World Scientific Publishing, Hackensack (2020)"},{"issue":"2","key":"9858_CR13","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1215\/S0012-7094-85-05220-2","volume":"52","author":"VA Hinich","year":"1985","unstructured":"Hinich, V.A., Schechtman, V.V.: Geometry of a category of complexes and algebraic $$K$$-theory. Duke Math. J. 52(2), 399\u2013430 (1985)","journal-title":"Duke Math. J."},{"key":"9858_CR14","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198871378.001.0001","volume-title":"2-Dimensional Categories","author":"N Johnson","year":"2021","unstructured":"Johnson, N., Yau, D.: 2-Dimensional Categories. Oxford University Press, Oxford (2021)"},{"issue":"1","key":"9858_CR15","doi-asserted-by":"publisher","first-page":"54","DOI":"10.21136\/HS.2024.02","volume":"8","author":"M Lambert","year":"2024","unstructured":"Lambert, M.: Discrete 2-fibrations. High. Struct. 8(1), 54\u201396 (2024)","journal-title":"High. Struct."},{"key":"9858_CR16","unstructured":"Moser, L., Sarazola, M., Verdugo, P.: Internal Grothendieck construction for enriched categories (2023). arXiv:2308.14455"},{"key":"9858_CR17","volume-title":"Category Theory in Context (Aurora Modern Math Originals)","author":"E Riehl","year":"2016","unstructured":"Riehl, E.: Category Theory in Context (Aurora Modern Math Originals). Dover, Garden City (2016)"},{"issue":"1","key":"9858_CR18","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1017\/S0305004100055535","volume":"85","author":"RW Thomason","year":"1979","unstructured":"Thomason, R.W.: Homotopy colimits in the category of small categories. Math. Proc. Camb. Philos. Soc. 85(1), 91\u2013109 (1979)","journal-title":"Math. Proc. Camb. Philos. Soc."},{"key":"9858_CR19","first-page":"1","volume":"20","author":"D Verity","year":"2011","unstructured":"Verity, D.: Enriched categories, internal categories and change of base. Repr. Theory Appl. Categ. 20, 1\u2013266 (2011)","journal-title":"Repr. Theory Appl. Categ."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-026-09858-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10485-026-09858-y","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-026-09858-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T09:59:14Z","timestamp":1780048754000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10485-026-09858-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,22]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["9858"],"URL":"https:\/\/doi.org\/10.1007\/s10485-026-09858-y","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3,22]]},"assertion":[{"value":"9 June 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 February 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 March 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no Conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"20"}}