{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T22:50:51Z","timestamp":1789944651336,"version":"4.0.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2014,11,30]],"date-time":"2014-11-30T00:00:00Z","timestamp":1417305600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s10485-014-9383-6","type":"journal-article","created":{"date-parts":[[2014,12,2]],"date-time":"2014-12-02T15:14:04Z","timestamp":1417533244000},"page":"777-818","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Iterated Chromatic Subdivisions are Collapsible"],"prefix":"10.1007","volume":"23","author":[{"given":"\u00c9ric","family":"Goubault","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Samuel","family":"Mimram","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christine","family":"Tasson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2014,11,30]]},"reference":[{"key":"9383_CR1","first-page":"93","volume":"II","author":"RH Bing","year":"1964","unstructured":"Bing, R.H.: Some aspects of the topology of 3-manifolds related to the poincar\u00e9 conjecture. Lect. Mod. Math. II, 93\u2013128 (1964)","journal-title":"Lect. Mod. Math."},{"key":"9383_CR2","doi-asserted-by":"crossref","unstructured":"Biran, O., Moran, S., Zaks, S.: A combinatorial characterization of the distributed tasks which are solvable in the presence of one faulty processor. In: Proceedings of the seventh annual ACM symposium on principles of distributed computing, pp 263\u2013275. ACM (1988)","DOI":"10.1145\/62546.62590"},{"key":"9383_CR3","doi-asserted-by":"crossref","unstructured":"Borowsky, E., Gafni, E.: Generalized FLP impossibility result for t-resilient asynchronous computations. In: Proceedings of the 25th STOC. ACM Press (1993)","DOI":"10.1145\/167088.167119"},{"issue":"1","key":"9383_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/2108242.2108245","volume":"59","author":"A Casta\u00f1eda","year":"2012","unstructured":"Casta\u00f1eda, A., Rajsbaum, S.: New combinatorial topology bounds for renaming: The upper bound. J. ACM 59(1), 3 (2012)","journal-title":"J. ACM"},{"key":"9383_CR5","doi-asserted-by":"crossref","unstructured":"Cohen, M.M.: A course in simple-homotopy theory, vol.10 of Graduate Texts in Mathematics. Springer, New York (1973)","DOI":"10.1007\/978-1-4684-9372-6"},{"issue":"1","key":"9383_CR6","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/S0022-4049(98)00065-6","volume":"145","author":"P Ehlers","year":"2000","unstructured":"Ehlers, P., Porter, T.: Joins for (augmented) simplicial sets. J. Pure and Appl. Algebra 145(1), 37\u201344 (2000)","journal-title":"J. Pure and Appl. Algebra"},{"key":"9383_CR7","doi-asserted-by":"crossref","unstructured":"Fajstrup, L., Goubault, \u00c9., Haucourt, E., Mimram, S., Rau\u00dfen, M.: Trace spaces: An efficient new technique for state-space reduction. In: ESOP, pp 274\u2013294 (2012)","DOI":"10.1007\/978-3-642-28869-2_14"},{"issue":"2","key":"9383_CR8","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1145\/3149.214121","volume":"32","author":"MJ Fischer","year":"1985","unstructured":"Fischer, M.J, Lynch, N.A., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. J.ACM 32(2), 374\u2013382 (1985)","journal-title":"J.ACM"},{"key":"9383_CR9","doi-asserted-by":"crossref","unstructured":"Goerss, P.G., Jardine, J.F.: Simplicial Homotopy Theory, vol. 174. Springer (2009)","DOI":"10.1007\/978-3-0346-0189-4"},{"key":"9383_CR10","unstructured":"Goubault, \u00c9., Mimram, S.: Trace spaces: algorithmics and applications. Presentation in Applied Algebraic Topology conference (2011)"},{"key":"9383_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511657474","volume-title":"Directed Algebraic Topology: Models of Non-Reversible Worlds","author":"M Grandis","year":"2009","unstructured":"Grandis, M.: Directed Algebraic Topology: Models of Non-Reversible Worlds. Cambridge University Press, Cambridge (2009)"},{"key":"9383_CR12","volume-title":"Distributed Computing Through Combinatorial Topology","author":"M Herlihy","year":"2014","unstructured":"Herlihy, M., Kozlov, D., Rajsbaum, S.: Distributed Computing Through Combinatorial Topology. Elsevier, New York (2014)"},{"key":"9383_CR13","doi-asserted-by":"crossref","unstructured":"Herlihy, M., Shavit, N.: The asynchronous computability theorem for t-resilient tasks. In: Proceedings of the twenty-fifth annual ACM symposium on theory of computing, pp 111\u2013120. ACM (1993)","DOI":"10.1145\/167088.167125"},{"issue":"6","key":"9383_CR14","doi-asserted-by":"crossref","first-page":"858","DOI":"10.1145\/331524.331529","volume":"46","author":"M Herlihy","year":"1999","unstructured":"Herlihy, M., Shavit, N.: The topological structure of asynchronous computability. J. ACM 46(6), 858\u2013923 (1999)","journal-title":"J. ACM"},{"key":"9383_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-71962-5","volume-title":"Combinatorial Algebraic Topology, vol. 21","author":"D Kozlov","year":"2008","unstructured":"Kozlov, D.: Combinatorial Algebraic Topology, vol. 21. Springer, Berlin Heidelberg (2008)"},{"issue":"2","key":"9383_CR16","doi-asserted-by":"crossref","first-page":"197","DOI":"10.4310\/HHA.2012.v14.n2.a12","volume":"14","author":"D Kozlov","year":"2012","unstructured":"Kozlov, D.: Chromatic subdivision of a simplicial complex. Homology, Homotopy and Appl. 14(2), 197\u2013209 (2012)","journal-title":"Homology, Homotopy and Appl."},{"key":"9383_CR17","unstructured":"Kozlov, D.: Topology of the view complex. arXiv preprint arXiv: 1311.7283. (2013)"},{"key":"9383_CR18","volume-title":"Distributed Algorithms","author":"NA Lynch","year":"1996","unstructured":"Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Mateo (1996)"},{"key":"9383_CR19","volume-title":"Categories for the Working Mathematician, vol. 5","author":"S MacLane","year":"1998","unstructured":"MacLane, S.: Categories for the Working Mathematician, vol. 5. Springer, Berlin Heidelberg (1998)"},{"key":"9383_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0927-0","volume-title":"Sheaves in Geometry and Logic: A First Introduction to Topos Theory","author":"S MacLane","year":"1992","unstructured":"MacLane, S., Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer, Berlin Heidelberg (1992)"},{"key":"9383_CR21","doi-asserted-by":"crossref","unstructured":"Saks, M.E., Zaharoglou, F.: Wait-free k-set agreement is impossible: the topology of public knowledge. In: STOC, pp 101\u2013110 (1993)","DOI":"10.1145\/167088.167122"},{"issue":"1","key":"9383_CR22","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1112\/plms\/s2-45.1.243","volume":"2","author":"JHC Whitehead","year":"1939","unstructured":"Whitehead, J.H.C.: Simplicial spaces, nuclei and m-groups. Proc. Lond. Math. Soc. 2(1), 243\u2013327 (1939)","journal-title":"Proc. Lond. Math. Soc."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-014-9383-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-014-9383-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-014-9383-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,18]],"date-time":"2019-08-18T02:11:40Z","timestamp":1566094300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-014-9383-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,30]]},"references-count":22,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["9383"],"URL":"https:\/\/doi.org\/10.1007\/s10485-014-9383-6","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,30]]}}}