{"id":"https://openalex.org/W4280488577","doi":"https://doi.org/10.1145/3531130.3533352","title":"Zigzag normalisation for associative n-categories","display_name":"Zigzag normalisation for associative n-categories","publication_year":2022,"publication_date":"2022-08-02","ids":{"openalex":"https://openalex.org/W4280488577","doi":"https://doi.org/10.1145/3531130.3533352"},"language":"en","primary_location":{"id":"doi:10.1145/3531130.3533352","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3531130.3533352","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3531130.3533352","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3531130.3533352","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076697633","display_name":"Lukas Heidemann","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Lukas Heidemann","raw_affiliation_strings":["University of Oxford, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028570690","display_name":"David Reutter","orcid":"https://orcid.org/0000-0003-4044-360X"},"institutions":[{"id":"https://openalex.org/I159176309","display_name":"Universit\u00e4t Hamburg","ror":"https://ror.org/00g30e956","country_code":"DE","type":"education","lineage":["https://openalex.org/I159176309"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"David Reutter","raw_affiliation_strings":["University of Hamburg, Germany"],"affiliations":[{"raw_affiliation_string":"University of Hamburg, Germany","institution_ids":["https://openalex.org/I159176309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017943933","display_name":"Jamie Vicary","orcid":"https://orcid.org/0000-0002-0998-1701"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jamie Vicary","raw_affiliation_strings":["University of Cambridge, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Cambridge, United Kingdom","institution_ids":["https://openalex.org/I241749"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5076697633"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":null,"apc_paid":null,"fwci":0.3997,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.55817744,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"34","issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.982699990272522,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.982699990272522,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.982200026512146,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11673","display_name":"Advanced Topics in Algebra","score":0.9634000062942505,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/associative-property","display_name":"Associative property","score":0.8827122449874878},{"id":"https://openalex.org/keywords/zigzag","display_name":"Zigzag","score":0.7691633701324463},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5445596575737},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2589656412601471},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.15353021025657654},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.06020927429199219}],"concepts":[{"id":"https://openalex.org/C159423971","wikidata":"https://www.wikidata.org/wiki/Q177251","display_name":"Associative property","level":2,"score":0.8827122449874878},{"id":"https://openalex.org/C192271897","wikidata":"https://www.wikidata.org/wiki/Q198438","display_name":"Zigzag","level":2,"score":0.7691633701324463},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5445596575737},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2589656412601471},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15353021025657654},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.06020927429199219}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3531130.3533352","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3531130.3533352","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3531130.3533352","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2205.08952","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2205.08952","pdf_url":"https://arxiv.org/pdf/2205.08952","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:www.repository.cam.ac.uk:1810/336490","is_oa":false,"landing_page_url":"https://www.repository.cam.ac.uk/handle/1810/336490","pdf_url":null,"source":{"id":"https://openalex.org/S4306401777","display_name":"Apollo (University of Cambridge)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I241749","host_organization_name":"University of Cambridge","host_organization_lineage":["https://openalex.org/I241749"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference Object"},{"id":"doi:10.17863/cam.83908","is_oa":true,"landing_page_url":"https://doi.org/10.17863/cam.83908","pdf_url":null,"source":{"id":"https://openalex.org/S7407050737","display_name":"Apollo","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1145/3531130.3533352","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3531130.3533352","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3531130.3533352","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5978046620","display_name":null,"funder_award_id":"EP/S018646/2","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7098431291","display_name":null,"funder_award_id":"EP/S018646/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4280488577.pdf","grobid_xml":"https://content.openalex.org/works/W4280488577.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W1522688556","https://openalex.org/W1644475622","https://openalex.org/W1677393765","https://openalex.org/W1716456307","https://openalex.org/W2003970329","https://openalex.org/W2012997603","https://openalex.org/W2070886143","https://openalex.org/W2092347581","https://openalex.org/W2098691999","https://openalex.org/W2120713972","https://openalex.org/W2133073844","https://openalex.org/W2141800407","https://openalex.org/W2150941507","https://openalex.org/W2170604368","https://openalex.org/W2171840498","https://openalex.org/W2346434696","https://openalex.org/W2494316805","https://openalex.org/W2510249910","https://openalex.org/W2527633362","https://openalex.org/W2963361413","https://openalex.org/W2966615902","https://openalex.org/W3098673620","https://openalex.org/W3102482356","https://openalex.org/W3121619817","https://openalex.org/W4310911578","https://openalex.org/W4330335511","https://openalex.org/W6725602169"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2808029097","https://openalex.org/W3035794677","https://openalex.org/W2032417936","https://openalex.org/W2588100896","https://openalex.org/W2152067480","https://openalex.org/W2326117044","https://openalex.org/W135216162","https://openalex.org/W2947454206"],"abstract_inverted_index":{"The":[0],"theory":[1,48],"of":[2,41],"associative":[3,12],"n-categories":[4],"has":[5,33],"recently":[6],"been":[7],"proposed":[8],"as":[9],"a":[10,21,24],"strictly":[11],"and":[13],"unital":[14],"approach":[15],"to":[16,36,56],"higher":[17],"category":[18],"theory.":[19],"As":[20],"foundation":[22],"for":[23,65],"proof":[25],"assistant,":[26],"this":[27],"is":[28],"potentially":[29],"attractive,":[30],"since":[31],"it":[32],"the":[34,47],"potential":[35],"allow":[37],"simple":[38],"formal":[39],"proofs":[40],"complex":[42],"high-dimensional":[43],"algebraic":[44],"phenomena.":[45],"However,":[46],"relies":[49],"on":[50],"an":[51],"implicit":[52],"term":[53],"normalisation":[54],"procedure":[55],"recognize":[57],"correct":[58],"composites,":[59],"with":[60],"no":[61],"recursive":[62],"method":[63],"available":[64],"computing":[66],"it.":[67]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}