{"id":"https://openalex.org/W4385373752","doi":"https://doi.org/10.4204/eptcs.397.14","title":"Obstructions to Compositionality","display_name":"Obstructions to Compositionality","publication_year":2023,"publication_date":"2023-12-14","ids":{"openalex":"https://openalex.org/W4385373752","doi":"https://doi.org/10.4204/eptcs.397.14"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.397.14","is_oa":true,"landing_page_url":"http://dx.doi.org/10.4204/eptcs.397.14","pdf_url":"https://arxiv.org/pdf/2307.14461.pdf","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://arxiv.org/pdf/2307.14461.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072250565","display_name":"Caterina Puca","orcid":null},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":true,"raw_author_name":"Caterina Puca","raw_affiliation_strings":["* 17 Beaumont Street, Oxford OX1 2NA, United Kingdom","Tallinn University of Technology"],"affiliations":[{"raw_affiliation_string":"* 17 Beaumont Street, Oxford OX1 2NA, United Kingdom","institution_ids":[]},{"raw_affiliation_string":"Tallinn University of Technology","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073235643","display_name":"Amar Hadzihasanovic","orcid":"https://orcid.org/0000-0001-9481-191X"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Amar Hadzihasanovic","raw_affiliation_strings":["Tallinn University of Technology","* 17 Beaumont Street, Oxford OX1 2NA, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Tallinn University of Technology","institution_ids":["https://openalex.org/I111112146"]},{"raw_affiliation_string":"* 17 Beaumont Street, Oxford OX1 2NA, United Kingdom","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081773021","display_name":"Fabrizio Genovese","orcid":"https://orcid.org/0000-0001-7792-1375"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Fabrizio Genovese","raw_affiliation_strings":["Tallinn University of Technology","* 17 Beaumont Street, Oxford OX1 2NA, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Tallinn University of Technology","institution_ids":["https://openalex.org/I111112146"]},{"raw_affiliation_string":"* 17 Beaumont Street, Oxford OX1 2NA, United Kingdom","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016374907","display_name":"Bob Coecke","orcid":"https://orcid.org/0000-0002-5310-8723"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Bob Coecke","raw_affiliation_strings":["Tallinn University of Technology","* 17 Beaumont Street, Oxford OX1 2NA, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Tallinn University of Technology","institution_ids":["https://openalex.org/I111112146"]},{"raw_affiliation_string":"* 17 Beaumont Street, Oxford OX1 2NA, United Kingdom","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5072250565"],"corresponding_institution_ids":["https://openalex.org/I111112146"],"apc_list":null,"apc_paid":null,"fwci":0.3533,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.651642,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"397","issue":null,"first_page":"226","last_page":"245"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9865999817848206,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.986299991607666,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.9689669609069824},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.69701087474823},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.6628268957138062},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.5969148874282837},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5609146356582642},{"id":"https://openalex.org/keywords/categorical-quantum-mechanics","display_name":"Categorical quantum mechanics","score":0.48154643177986145},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.4200279712677002},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.41575801372528076},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.322748601436615},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31180983781814575},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30507951974868774},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2282903790473938},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21645471453666687},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.18075299263000488}],"concepts":[{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.9689669609069824},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.69701087474823},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.6628268957138062},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.5969148874282837},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5609146356582642},{"id":"https://openalex.org/C105295557","wikidata":"https://www.wikidata.org/wiki/Q5051814","display_name":"Categorical quantum mechanics","level":5,"score":0.48154643177986145},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.4200279712677002},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.41575801372528076},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.322748601436615},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31180983781814575},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30507951974868774},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2282903790473938},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21645471453666687},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.18075299263000488},{"id":"https://openalex.org/C121040770","wikidata":"https://www.wikidata.org/wiki/Q215675","display_name":"Quantum entanglement","level":3,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C5320026","wikidata":"https://www.wikidata.org/wiki/Q2122216","display_name":"Quantum information science","level":4,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.4204/eptcs.397.14","is_oa":true,"landing_page_url":"http://dx.doi.org/10.4204/eptcs.397.14","pdf_url":"https://arxiv.org/pdf/2307.14461.pdf","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2307.14461","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2307.14461","pdf_url":"https://arxiv.org/pdf/2307.14461","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"}],"best_oa_location":{"id":"doi:10.4204/eptcs.397.14","is_oa":true,"landing_page_url":"http://dx.doi.org/10.4204/eptcs.397.14","pdf_url":"https://arxiv.org/pdf/2307.14461.pdf","source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.6000000238418579}],"awards":[{"id":"https://openalex.org/G2133254030","display_name":null,"funder_award_id":"2014-20","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"},{"id":"https://openalex.org/G4898532384","display_name":null,"funder_award_id":"2014-2020","funder_id":"https://openalex.org/F4320321090","funder_display_name":"Eesti Teadusagentuur"},{"id":"https://openalex.org/G5484349207","display_name":null,"funder_award_id":"2014-2020.4.05.19-0001","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"},{"id":"https://openalex.org/G6537674952","display_name":null,"funder_award_id":"PSG764","funder_id":"https://openalex.org/F4320321090","funder_display_name":"Eesti Teadusagentuur"},{"id":"https://openalex.org/G6707449129","display_name":null,"funder_award_id":"2014-2020","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"}],"funders":[{"id":"https://openalex.org/F4320321090","display_name":"Eesti Teadusagentuur","ror":"https://ror.org/00jjeja18"},{"id":"https://openalex.org/F4320338080","display_name":"European Social Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385373752.pdf","grobid_xml":"https://content.openalex.org/works/W4385373752.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W131931019","https://openalex.org/W2040794877","https://openalex.org/W2414263117","https://openalex.org/W2935480125","https://openalex.org/W2963619589","https://openalex.org/W2964300838","https://openalex.org/W3181244883","https://openalex.org/W4210262431","https://openalex.org/W4210927122","https://openalex.org/W4286906897","https://openalex.org/W4295102111","https://openalex.org/W4366342829","https://openalex.org/W4385373752","https://openalex.org/W6761133085","https://openalex.org/W6780061064","https://openalex.org/W6803100592","https://openalex.org/W6851936335","https://openalex.org/W6855738766"],"related_works":["https://openalex.org/W4287907471","https://openalex.org/W2997323880","https://openalex.org/W4387294058","https://openalex.org/W3020978243","https://openalex.org/W2801796713","https://openalex.org/W4253982276","https://openalex.org/W4287668766","https://openalex.org/W2952010909","https://openalex.org/W4289389533","https://openalex.org/W4385373752"],"abstract_inverted_index":{"Compositionality":[0],"is":[1,101,108],"at":[2],"the":[3,34,37,43,79,113,129,147,157],"heart":[4],"of":[5,12,36,58,64,83,96,115,131,136,152,159],"computer":[6],"science":[7],"and":[8,30,52,70,81,105,173,186],"several":[9],"other":[10],"areas":[11],"applied":[13,116],"category":[14,117],"theory":[15,185],"such":[16],"as":[17,134],"computational":[18],"linguistics,":[19],"categorical":[20,161],"quantum":[21,187],"mechanics,":[22],"interpretable":[23],"AI,":[24],"dynamical":[25],"systems,":[26],"compositional":[27],"game":[28],"theory,":[29,118],"Petri":[31],"nets.":[32],"However,":[33],"meaning":[35],"term":[38],"seems":[39],"to":[40,50,91,126,140,146],"vary":[41],"across":[42],"many":[44],"different":[45,56],"applications.":[46],"This":[47],"work":[48],"contributes":[49],"understanding,":[51],"in":[53,75,163,183],"particular":[54],"qualifying,":[55],"kinds":[57],"compositionality.":[59],"Formally,":[60],"we":[61,67,178],"introduce":[62],"invariants":[63],"categories":[65],"that":[66],"call":[68],"zeroth":[69],"first":[71],"homotopy":[72],"posets,":[73],"generalising":[74],"a":[76,84,93,106,124,160,164,170,174],"precise":[77],"sense":[78],"pi0":[80],"pi1":[82],"groupoid.":[85],"These":[86],"posets":[87],"can":[88,167],"be":[89,141,169],"used":[90],"obtain":[92],"qualitative":[94],"description":[95],"how":[97],"far":[98],"an":[99],"object":[100],"from":[102,109],"being":[103,110,149],"terminal":[104],"morphism":[107],"iso.":[111],"In":[112],"context":[114],"this":[119],"formal":[120],"machinery":[121],"gives":[122],"us":[123],"way":[125],"qualitatively":[127],"describe":[128],"\"failures":[130],"compositionality\",":[132],"seen":[133],"failures":[135],"certain":[137],"(op)lax":[138],"functors":[139],"strong,":[142],"by":[143,180],"classifying":[144],"obstructions":[145],"(op)laxators":[148],"isomorphisms.":[150],"Failure":[151],"compositionality,":[153],"for":[154,156],"example":[155],"interpretation":[158],"syntax":[162],"semantic":[165],"universe,":[166],"both":[168],"bad":[171],"thing":[172],"good":[175],"thing,":[176],"which":[177],"illustrate":[179],"respective":[181],"examples":[182],"graph":[184],"theory.":[188]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-14T08:43:22.919905","created_date":"2025-10-10T00:00:00"}