{"id":"https://openalex.org/W4403876636","doi":"https://doi.org/10.46298/lmcs-20(4:8)2024","title":"String diagrams for Strictification and Coherence","display_name":"String diagrams for Strictification and Coherence","publication_year":2024,"publication_date":"2024-10-29","ids":{"openalex":"https://openalex.org/W4403876636","doi":"https://doi.org/10.46298/lmcs-20(4:8)2024"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-20(4:8)2024","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-20(4:8)2024","pdf_url":"https://lmcs.episciences.org/14637/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/14637/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100637126","display_name":"Paul Wilson","orcid":"https://orcid.org/0009-0000-7299-8330"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paul Wilson","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072298249","display_name":"Dan R. Ghica","orcid":"https://orcid.org/0000-0002-4003-8893"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dan Ghica","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5016173850","display_name":"Fabio Zanasi","orcid":"https://orcid.org/0000-0001-6457-1345"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fabio Zanasi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.2838285,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 20, Issue 4","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12016","display_name":"Web Data Mining and Analysis","score":0.9319000244140625,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12016","display_name":"Web Data Mining and Analysis","score":0.9319000244140625,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/computer-science","display_name":"Computer science","score":0.7039260864257812},{"id":"https://openalex.org/keywords/coherence","display_name":"Coherence (philosophical gambling strategy)","score":0.49637919664382935},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.45564210414886475},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40396150946617126},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1759335994720459},{"id":"https://openalex.org/keywords/theoretical-physics","display_name":"Theoretical physics","score":0.1517525017261505},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.07203719019889832}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7039260864257812},{"id":"https://openalex.org/C2781181686","wikidata":"https://www.wikidata.org/wiki/Q4226068","display_name":"Coherence (philosophical gambling strategy)","level":2,"score":0.49637919664382935},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.45564210414886475},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40396150946617126},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1759335994720459},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.1517525017261505},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.07203719019889832}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.46298/lmcs-20(4:8)2024","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-20(4:8)2024","pdf_url":"https://lmcs.episciences.org/14637/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/cff3510f-af93-4e44-971b-816e0503bfcb","is_oa":true,"landing_page_url":"https://research.birmingham.ac.uk/en/publications/cff3510f-af93-4e44-971b-816e0503bfcb","pdf_url":"https://pure-oai.bham.ac.uk/ws/files/261690109/2201.11738.pdf","source":{"id":"https://openalex.org/S4306402634","display_name":"University of Birmingham Research Portal (University of Birmingham)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79619799","host_organization_name":"University of Birmingham","host_organization_lineage":["https://openalex.org/I79619799"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Wilson, P, Ghica, D & Zanasi, F 2024, 'String diagrams for Strictification and Coherence', Logical Methods in Computer Science, vol. 20, no. 4, pp. 8:1-8:24. https://doi.org/10.46298/lmcs-20(4:8)2024","raw_type":"article"},{"id":"pmh:oai:doaj.org/article:bbd645937ea04257bb624c7327c1bfea","is_oa":false,"landing_page_url":"https://doaj.org/article/bbd645937ea04257bb624c7327c1bfea","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 20, Issue 4 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-20(4:8)2024","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-20(4:8)2024","pdf_url":"https://lmcs.episciences.org/14637/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.5699999928474426}],"awards":[{"id":"https://openalex.org/G4854729358","display_name":null,"funder_award_id":"EP/V002376/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403876636.pdf","grobid_xml":"https://content.openalex.org/works/W4403876636.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Whereas":[0],"string":[1,42],"diagrams":[2,43],"for":[3,22,44,100],"strict":[4],"monoidal":[5,24,46,110],"categories":[6,25],"are":[7,26],"well":[8],"understood,":[9],"and":[10,39,48,62,96],"have":[11],"found":[12],"application":[13],"in":[14,56,83,97,108],"several":[15],"fields":[16],"of":[17,41,69,77,91,104],"Computer":[18],"Science,":[19],"graphical":[20,89],"formalisms":[21],"non-strict":[23,45],"far":[27],"less":[28],"studied.":[29],"In":[30],"this":[31,51],"paper,":[32],"we":[33],"provide":[34],"a":[35,74,109],"presentation":[36],"by":[37],"generators":[38],"relations":[40],"categories,":[47],"show":[49],"how":[50],"construction":[52,103],"can":[53],"handle":[54],"applications":[55],"domains":[57],"such":[58],"as":[59],"digital":[60],"circuits":[61],"programming":[63],"languages.":[64],"We":[65],"prove":[66],"the":[67,101,105],"correctness":[68],"our":[70],"construction,":[71],"which":[72],"yields":[73],"novel":[75],"proof":[76,90],"Mac":[78,92],"Lane's":[79,93],"strictness":[80],"theorem.":[81],"This":[82],"turn":[84],"leads":[85],"to":[86],"an":[87],"elementary":[88],"coherence":[94],"theorem,":[95],"particular":[98],"allows":[99],"inductive":[102],"canonical":[106],"isomorphisms":[107],"category.":[111]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}