{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:16:18Z","timestamp":1750220178881,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,2]],"date-time":"2022-08-02T00:00:00Z","timestamp":1659398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,2]]},"DOI":"10.1145\/3531130.3533352","type":"proceedings-article","created":{"date-parts":[[2022,8,4]],"date-time":"2022-08-04T20:23:38Z","timestamp":1659644618000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Zigzag normalisation for associative n-categories"],"prefix":"10.1145","author":[{"given":"Lukas","family":"Heidemann","sequence":"first","affiliation":[{"name":"University of Oxford, United Kingdom"}]},{"given":"David","family":"Reutter","sequence":"additional","affiliation":[{"name":"University of Hamburg, Germany"}]},{"given":"Jamie","family":"Vicary","sequence":"additional","affiliation":[{"name":"University of Cambridge, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2022,8,4]]},"reference":[{"key":"#cr-split#-e_1_3_2_1_1_1.1","doi-asserted-by":"crossref","unstructured":"Michael Atiyah. 2009. Topological quantum field theories. In The Geometry and Physics of Knots. CUP 12-23. https:\/\/doi.org\/10.1007\/bf02698547 10.1007\/bf02698547","DOI":"10.1007\/BF02698547"},{"key":"#cr-split#-e_1_3_2_1_1_1.2","doi-asserted-by":"crossref","unstructured":"Michael Atiyah. 2009. Topological quantum field theories. In The Geometry and Physics of Knots. CUP 12-23. https:\/\/doi.org\/10.1007\/bf02698547","DOI":"10.1007\/BF02698547"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004108001783"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.531236"},{"key":"e_1_3_2_1_4_1","volume-title":"Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. MSCS 12, 01","author":"Bruni Roberto","year":"2002","unstructured":"Roberto Bruni , Jos\u00e9 Meseguer , and Ugo Montanari . 2002. Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. MSCS 12, 01 ( 2002 ). https:\/\/doi.org\/doi.org\/10.1017\/s0960129501003462 10.1017\/s0960129501003462 Roberto Bruni, Jos\u00e9 Meseguer, and Ugo Montanari. 2002. Symmetric monoidal and cartesian double categories as a semantic framework for tile logic. MSCS 12, 01 (2002). https:\/\/doi.org\/doi.org\/10.1017\/s0960129501003462"},{"key":"e_1_3_2_1_6_1","unstructured":"Christoph Dorn Christopher Douglas and Jamie Vicary. 2022. The theory of associative n-categories. (2022).  Christoph Dorn Christopher Douglas and Jamie Vicary. 2022. The theory of associative n-categories. (2022)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.4310\/HHA.2003.v5.n2.a5"},{"volume-title":"Vol.\u00a0224","author":"Grothendieck Alexander","key":"e_1_3_2_1_8_1","unstructured":"Alexander Grothendieck . 1971. Rev\u00eatements \u00e9tales et groupe fondamental (SGA 1). Lecture notes in mathematics , Vol.\u00a0224 . Springer-Verlag . Alexander Grothendieck. 1971. Rev\u00eatements \u00e9tales et groupe fondamental (SGA 1). Lecture notes in mathematics, Vol.\u00a0224. Springer-Verlag."},{"key":"e_1_3_2_1_9_1","volume-title":"Available online","author":"Grothendieck Alexander","year":"1983","unstructured":"Alexander Grothendieck . 1983. Pursuing Stacks . ( 1983 ). Available online . Alexander Grothendieck. 1983. Pursuing Stacks. (1983). Available online."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2012.05.010"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1994.316071"},{"key":"#cr-split#-e_1_3_2_1_12_1.1","doi-asserted-by":"crossref","unstructured":"Arthur Jaffe Zhengwei Liu and Alex Wozniakowski. 2016. Holographic Software for Quantum Networks. (2016). https:\/\/doi.org\/10.1007\/s11425-017-9207-3 arXiv:1605.00127 10.1007\/s11425-017-9207-3","DOI":"10.1007\/s11425-017-9207-3"},{"key":"#cr-split#-e_1_3_2_1_12_1.2","doi-asserted-by":"crossref","unstructured":"Arthur Jaffe Zhengwei Liu and Alex Wozniakowski. 2016. Holographic Software for Quantum Networks. (2016). https:\/\/doi.org\/10.1007\/s11425-017-9207-3 arXiv:1605.00127","DOI":"10.1007\/s11425-017-9207-3"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Yves Lafont. 1997. Two-dimensional rewriting. In Rewriting Techniques and Applications. 228\u2013229.  Yves Lafont. 1997. Two-dimensional rewriting. In Rewriting Techniques and Applications. 228\u2013229.","DOI":"10.1007\/3-540-62950-5_73"},{"key":"#cr-split#-e_1_3_2_1_14_1.1","doi-asserted-by":"crossref","unstructured":"Tom Leinster. 2004. Higher Operads Higher Categories. CUP. https:\/\/doi.org\/10.1017\/cbo9780511525896 10.1017\/cbo9780511525896","DOI":"10.1017\/CBO9780511525896"},{"key":"#cr-split#-e_1_3_2_1_14_1.2","doi-asserted-by":"crossref","unstructured":"Tom Leinster. 2004. Higher Operads Higher Categories. CUP. https:\/\/doi.org\/10.1017\/cbo9780511525896","DOI":"10.1017\/CBO9780511525896"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.4310\/CDM.2008.v2008.n1.a3"},{"volume-title":"Higher Topos Theory (AM-170)","author":"Lurie Jacob","key":"e_1_3_2_1_16_1","unstructured":"Jacob Lurie . 2009. Higher Topos Theory (AM-170) . Princeton University Press . https:\/\/doi.org\/10.1515\/9781400830558 arXiv:math\/0608040 10.1515\/9781400830558 Jacob Lurie. 2009. Higher Topos Theory (AM-170). Princeton University Press. https:\/\/doi.org\/10.1515\/9781400830558 arXiv:math\/0608040"},{"key":"e_1_3_2_1_17_1","volume-title":"Towards 3-Dimensional Rewriting Theory. Logical Methods in Computer Science 10, 2","author":"Mimram Samuel","year":"2014","unstructured":"Samuel Mimram . 2014. Towards 3-Dimensional Rewriting Theory. Logical Methods in Computer Science 10, 2 ( 2014 ). https:\/\/doi.org\/10.2168\/lmcs-10(2:1)2014 arXiv:1403.4094 10.2168\/lmcs-10(2:1)2014 Samuel Mimram. 2014. Towards 3-Dimensional Rewriting Theory. Logical Methods in Computer Science 10, 2 (2014). https:\/\/doi.org\/10.2168\/lmcs-10(2:1)2014 arXiv:1403.4094"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.21136\/HS.2019.04"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785895"},{"key":"#cr-split#-e_1_3_2_1_21_1.1","doi-asserted-by":"crossref","unstructured":"Peter Selinger. 2009. A Survey of Graphical Languages for Monoidal Categories. New Structures for Physics(2009). https:\/\/doi.org\/10.1007\/978-3-642-12821-9_4 arXiv:0908.3347 10.1007\/978-3-642-12821-9_4","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"#cr-split#-e_1_3_2_1_21_1.2","doi-asserted-by":"crossref","unstructured":"Peter Selinger. 2009. A Survey of Graphical Languages for Monoidal Categories. New Structures for Physics(2009). https:\/\/doi.org\/10.1007\/978-3-642-12821-9_4 arXiv:0908.3347","DOI":"10.1007\/978-3-642-12821-9_4"},{"volume-title":"Homotopy Type Theory: Univalent Foundations of Mathematics","author":"Foundations Program The Univalent","key":"e_1_3_2_1_22_1","unstructured":"The Univalent Foundations Program . 2013. Homotopy Type Theory: Univalent Foundations of Mathematics . Institute for Advanced Study . https:\/\/homotopytypetheory.org\/book The Univalent Foundations Program. 2013. Homotopy Type Theory: Univalent Foundations of Mathematics. Institute for Advanced Study. https:\/\/homotopytypetheory.org\/book"},{"key":"e_1_3_2_1_23_1","unstructured":"Angelo Vistoli. 2007. Notes on Grothendieck topologies fibered categories and descent theory. arxiv:math\/0412512\u00a0[math.AG]  Angelo Vistoli. 2007. Notes on Grothendieck topologies fibered categories and descent theory. arxiv:math\/0412512\u00a0[math.AG]"},{"key":"e_1_3_2_1_24_1","unstructured":"Vladimir Voevodsky. 2006. A very short note on the homotopy \u03bbcalculus. (2006). Available online.  Vladimir Voevodsky. 2006. A very short note on the homotopy \u03bbcalculus. (2006). Available online."},{"key":"e_1_3_2_1_25_1","first-page":"259","article-title":"Using the generic interval","volume":"34","author":"Wraith Gavin","year":"1993","unstructured":"Gavin Wraith . 1993 . Using the generic interval . Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques 34 , 4(1993), 259 \u2013 266 . Gavin Wraith. 1993. Using the generic interval. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques 34, 4(1993), 259\u2013266.","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"}],"event":{"name":"LICS '22: 37th Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation"],"location":"Haifa Israel","acronym":"LICS '22"},"container-title":["Proceedings of the 37th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533352","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3531130.3533352","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:09Z","timestamp":1750186929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3531130.3533352"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,2]]},"references-count":27,"alternative-id":["10.1145\/3531130.3533352","10.1145\/3531130"],"URL":"https:\/\/doi.org\/10.1145\/3531130.3533352","relation":{},"subject":[],"published":{"date-parts":[[2022,8,2]]},"assertion":[{"value":"2022-08-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}