{"id":"https://openalex.org/W2799007199","doi":"https://doi.org/10.23638/lmcs-15(4:8)2019","title":"Lifting Coalgebra Modalities and $\\mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories","display_name":"Lifting Coalgebra Modalities and $\\mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories","publication_year":2019,"publication_date":"2019-11-07","ids":{"openalex":"https://openalex.org/W2799007199","doi":"https://doi.org/10.23638/lmcs-15(4:8)2019","mag":"2799007199"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-15(4:8)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(4:8)2019","pdf_url":"https://lmcs.episciences.org/5895/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":"preprint","indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/5895/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064711276","display_name":"Jean-Simon Pacaud Lemay","orcid":"https://orcid.org/0000-0003-4124-3722"},"institutions":[{"id":"https://openalex.org/I4210146410","display_name":"Science Oxford","ror":"https://ror.org/04j8yhy50","country_code":"GB","type":"nonprofit","lineage":["https://openalex.org/I4210146410"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Jean-Simon Pacaud Lemay","raw_affiliation_strings":["University of Oxford , Computer Science Department , Oxford , UK CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany"],"raw_orcid":"https://orcid.org/0000-0003-4124-3722","affiliations":[{"raw_affiliation_string":"University of Oxford , Computer Science Department , Oxford , UK CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany","institution_ids":["https://openalex.org/I4210146410"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5064711276"],"corresponding_institution_ids":["https://openalex.org/I4210146410"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00444448,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 15, 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/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9835000038146973,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9309999942779541,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/coalgebra","display_name":"Coalgebra","score":0.8520827889442444},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.6742739677429199},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6159043908119202},{"id":"https://openalex.org/keywords/monoidal-category","display_name":"Monoidal category","score":0.5797097086906433},{"id":"https://openalex.org/keywords/monad","display_name":"Monad (category theory)","score":0.5762481093406677},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.5354400277137756},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.5073036551475525},{"id":"https://openalex.org/keywords/symmetric-monoidal-category","display_name":"Symmetric monoidal category","score":0.4733576774597168},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.468948096036911},{"id":"https://openalex.org/keywords/hopf-algebra","display_name":"Hopf algebra","score":0.4364524483680725},{"id":"https://openalex.org/keywords/enriched-category","display_name":"Enriched category","score":0.43139633536338806},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.42930951714515686},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.354865700006485},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3221210539340973}],"concepts":[{"id":"https://openalex.org/C2778249326","wikidata":"https://www.wikidata.org/wiki/Q1777803","display_name":"Coalgebra","level":3,"score":0.8520827889442444},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.6742739677429199},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6159043908119202},{"id":"https://openalex.org/C2779904274","wikidata":"https://www.wikidata.org/wiki/Q1945014","display_name":"Monoidal category","level":2,"score":0.5797097086906433},{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.5762481093406677},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.5354400277137756},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5073036551475525},{"id":"https://openalex.org/C98912367","wikidata":"https://www.wikidata.org/wiki/Q17103860","display_name":"Symmetric monoidal category","level":3,"score":0.4733576774597168},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.468948096036911},{"id":"https://openalex.org/C29712632","wikidata":"https://www.wikidata.org/wiki/Q1627597","display_name":"Hopf algebra","level":3,"score":0.4364524483680725},{"id":"https://openalex.org/C156163052","wikidata":"https://www.wikidata.org/wiki/Q5379515","display_name":"Enriched category","level":3,"score":0.43139633536338806},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.42930951714515686},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.354865700006485},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3221210539340973},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.23638/lmcs-15(4:8)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(4:8)2019","pdf_url":"https://lmcs.episciences.org/5895/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:arXiv.org:1804.11116","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1804.11116","pdf_url":"https://arxiv.org/pdf/1804.11116","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":"doi:10.48550/arxiv.1804.11116","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1804.11116","pdf_url":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.23638/lmcs-15(4:8)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(4:8)2019","pdf_url":"https://lmcs.episciences.org/5895/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":[{"score":0.6200000047683716,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2799007199.pdf","grobid_xml":"https://content.openalex.org/works/W2799007199.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W33957596","https://openalex.org/W1502726770","https://openalex.org/W1505195721","https://openalex.org/W1533008268","https://openalex.org/W1556350656","https://openalex.org/W1605806361","https://openalex.org/W1661352576","https://openalex.org/W1975166962","https://openalex.org/W1989080620","https://openalex.org/W2016951437","https://openalex.org/W2037615060","https://openalex.org/W2047862786","https://openalex.org/W2060740764","https://openalex.org/W2079873887","https://openalex.org/W2090319048","https://openalex.org/W2109851385","https://openalex.org/W2120713972","https://openalex.org/W2121576397","https://openalex.org/W2125249767","https://openalex.org/W2144311135","https://openalex.org/W2165527471","https://openalex.org/W2271724099","https://openalex.org/W2519501411","https://openalex.org/W2522785819","https://openalex.org/W2590701505","https://openalex.org/W2606916197","https://openalex.org/W2614105559","https://openalex.org/W2911865844","https://openalex.org/W2913248536","https://openalex.org/W2962757110","https://openalex.org/W2964199642","https://openalex.org/W2999049254","https://openalex.org/W3037415380"],"related_works":["https://openalex.org/W4387799810","https://openalex.org/W4221164648","https://openalex.org/W2150762370","https://openalex.org/W2156541639","https://openalex.org/W3103633364","https://openalex.org/W2288880934","https://openalex.org/W1797595249","https://openalex.org/W4237627427","https://openalex.org/W4226521615","https://openalex.org/W2998428181"],"abstract_inverted_index":{"A":[0],"categorical":[1],"model":[2],"of":[3,9,45,47,52,58,60,69,98,122,124,135,137,167,185,193],"the":[4,87,103,114,120,133,138,159,190,194,208],"multiplicative":[5],"and":[6,40,90,146,175,203,213],"exponential":[7,35],"fragments":[8],"intuitionistic":[10],"linear":[11,34,53,79,115],"logic":[12],"($\\mathsf{MELL}$),":[13],"known":[14,31,63],"as":[15,32,50,64,67,81],"a":[16,20,26,33,73,78,82,95,148],"\\emph{linear":[17],"category},":[18],"is":[19],"symmetric":[21,168,172],"monoidal":[22,27,104,139,173],"closed":[23],"category":[24,80,116,121,134,178],"with":[25,94],"coalgebra":[28,105,140],"modality":[29,141],"(also":[30,62],"comonad).":[36],"Inspired":[37],"by":[38],"Blute":[39],"Scott's":[41],"work":[42],"on":[43,77,198],"categories":[44,57],"modules":[46],"Hopf":[48,83],"algebras":[49,59,123],"models":[51,68],"logic,":[54],"we":[55,111,161],"study":[56],"monads":[61,145,170],"Eilenberg-Moore":[65,218],"categories)":[66],"$\\mathsf{MELL}$.":[70],"We":[71,128],"define":[72,163],"$\\mathsf{MELL}$":[74,125,143,214],"lifting":[75,126,144,176],"monad":[76,84],"--":[85,93],"in":[86,132,189],"Brugui{\\`e}res,":[88],"Lack,":[89],"Virelizier":[91],"sense":[92],"special":[96],"kind":[97],"mixed":[99,164],"distributive":[100,165],"law":[101],"over":[102,155,171],"modality.":[106],"As":[107],"our":[108],"main":[109],"result,":[110],"show":[112],"that":[113],"structure":[117],"lifts":[118],"to":[119,217],"monads.":[127],"explain":[129],"how":[130],"groups":[131,152],"coalgebras":[136],"induce":[142],"provide":[147],"source":[149],"for":[150,201],"such":[151],"from":[153],"enrichment":[154],"abelian":[156],"groups.":[157],"Along":[158],"way":[160],"also":[162],"laws":[166],"comonoidal":[169],"comonads":[174],"differential":[177],"structure.":[179],"Comment:":[180],"An":[181],"extend":[182],"abstract":[183],"version":[184],"this":[186],"paper":[187],"appears":[188],"conference":[191],"proceedings":[192],"3rd":[195],"International":[196],"Conference":[197],"Formal":[199],"Structures":[200],"Computation":[202],"Deduction":[204],"(FSCD":[205],"2018),":[206],"under":[207],"title":[209],""Lifting":[210],"Coalgebra":[211],"Modalities":[212],"Model":[215],"Structure":[216],"Categories"":[219]},"counts_by_year":[],"updated_date":"2026-03-11T06:11:40.159057","created_date":"2025-10-10T00:00:00"}