{"id":"https://openalex.org/W2109851385","doi":"https://doi.org/10.1017/s0960129500000943","title":"Hopf algebras and linear logic","display_name":"Hopf algebras and linear logic","publication_year":1996,"publication_date":"1996-04-01","ids":{"openalex":"https://openalex.org/W2109851385","doi":"https://doi.org/10.1017/s0960129500000943","mag":"2109851385"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129500000943","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500000943","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087503903","display_name":"Richard Blute","orcid":null},"institutions":[{"id":"https://openalex.org/I153718931","display_name":"University of Ottawa","ror":"https://ror.org/03c4mmv16","country_code":"CA","type":"education","lineage":["https://openalex.org/I153718931"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Richard F. Blute","raw_affiliation_strings":["University of Ottawa, Ottawa, Ontario CANADA"],"affiliations":[{"raw_affiliation_string":"University of Ottawa, Ottawa, Ontario CANADA","institution_ids":["https://openalex.org/I153718931"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5087503903"],"corresponding_institution_ids":["https://openalex.org/I153718931"],"apc_list":null,"apc_paid":null,"fwci":2.8462,"has_fulltext":false,"cited_by_count":35,"citation_normalized_percentile":{"value":0.91894882,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"6","issue":"2","first_page":"189","last_page":"212"},"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/T10287","display_name":"Algebraic structures and combinatorial models","score":0.9986000061035156,"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/T11673","display_name":"Advanced Topics in Algebra","score":0.9976000189781189,"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/mathematics","display_name":"Mathematics","score":0.8250298500061035},{"id":"https://openalex.org/keywords/hopf-algebra","display_name":"Hopf algebra","score":0.7076598405838013},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.6036680936813354},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.548027515411377},{"id":"https://openalex.org/keywords/tensor-product","display_name":"Tensor product","score":0.5382999777793884},{"id":"https://openalex.org/keywords/noncommutative-geometry","display_name":"Noncommutative geometry","score":0.5066927075386047},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.49332395195961},{"id":"https://openalex.org/keywords/vector-space","display_name":"Vector space","score":0.4577862024307251},{"id":"https://openalex.org/keywords/multiplicative-function","display_name":"Multiplicative function","score":0.4431930184364319},{"id":"https://openalex.org/keywords/monoidal-category","display_name":"Monoidal category","score":0.4387184977531433},{"id":"https://openalex.org/keywords/closed-monoidal-category","display_name":"Closed monoidal category","score":0.4169842004776001},{"id":"https://openalex.org/keywords/concrete-category","display_name":"Concrete category","score":0.41294345259666443},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.33135807514190674},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2992539703845978}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8250298500061035},{"id":"https://openalex.org/C29712632","wikidata":"https://www.wikidata.org/wiki/Q1627597","display_name":"Hopf algebra","level":3,"score":0.7076598405838013},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.6036680936813354},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.548027515411377},{"id":"https://openalex.org/C51255310","wikidata":"https://www.wikidata.org/wiki/Q1163016","display_name":"Tensor product","level":2,"score":0.5382999777793884},{"id":"https://openalex.org/C68797384","wikidata":"https://www.wikidata.org/wiki/Q2746792","display_name":"Noncommutative geometry","level":2,"score":0.5066927075386047},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.49332395195961},{"id":"https://openalex.org/C13336665","wikidata":"https://www.wikidata.org/wiki/Q125977","display_name":"Vector space","level":2,"score":0.4577862024307251},{"id":"https://openalex.org/C42747912","wikidata":"https://www.wikidata.org/wiki/Q1048447","display_name":"Multiplicative function","level":2,"score":0.4431930184364319},{"id":"https://openalex.org/C2779904274","wikidata":"https://www.wikidata.org/wiki/Q1945014","display_name":"Monoidal category","level":2,"score":0.4387184977531433},{"id":"https://openalex.org/C56208153","wikidata":"https://www.wikidata.org/wiki/Q5135347","display_name":"Closed monoidal category","level":4,"score":0.4169842004776001},{"id":"https://openalex.org/C128520899","wikidata":"https://www.wikidata.org/wiki/Q1575634","display_name":"Concrete category","level":3,"score":0.41294345259666443},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.33135807514190674},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2992539703845978},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129500000943","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500000943","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320310638","display_name":"McGill University","ror":"https://ror.org/01pxwe438"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W84695432","https://openalex.org/W112828315","https://openalex.org/W136934826","https://openalex.org/W609902030","https://openalex.org/W960577102","https://openalex.org/W1508490157","https://openalex.org/W1516611407","https://openalex.org/W1952931766","https://openalex.org/W1985063546","https://openalex.org/W2008699979","https://openalex.org/W2010407999","https://openalex.org/W2022595765","https://openalex.org/W2032735854","https://openalex.org/W2041181261","https://openalex.org/W2041917765","https://openalex.org/W2049362364","https://openalex.org/W2050134666","https://openalex.org/W2074070481","https://openalex.org/W2078432227","https://openalex.org/W2083818592","https://openalex.org/W2083853821","https://openalex.org/W2097213515","https://openalex.org/W2120950381","https://openalex.org/W2169086642","https://openalex.org/W2475624823","https://openalex.org/W2612451553","https://openalex.org/W2911865844","https://openalex.org/W3009593130","https://openalex.org/W3113078700","https://openalex.org/W3161688318","https://openalex.org/W4210579387","https://openalex.org/W4234269419","https://openalex.org/W4235980272","https://openalex.org/W4243711577","https://openalex.org/W4246592555","https://openalex.org/W4249725302","https://openalex.org/W4252059457","https://openalex.org/W4256453086","https://openalex.org/W6622125799","https://openalex.org/W6671648811","https://openalex.org/W6684618234","https://openalex.org/W6691874627","https://openalex.org/W6758338737","https://openalex.org/W6774332625","https://openalex.org/W6780284995","https://openalex.org/W6787408749"],"related_works":["https://openalex.org/W2143477358","https://openalex.org/W2415965387","https://openalex.org/W2952208336","https://openalex.org/W88852712","https://openalex.org/W2963116504","https://openalex.org/W4299511226","https://openalex.org/W2799284011","https://openalex.org/W2768004254","https://openalex.org/W2109851385","https://openalex.org/W1973413532"],"abstract_inverted_index":{"It":[0,202],"has":[1,131,203],"recently":[2,205],"become":[3],"evident":[4],"that":[5,151,191,209],"categories":[6,25,89],"of":[7,9,15,28,44,50,58,73,84,102,109,135,156,159,161,185,212,222,238],"representations":[8,160],"Hopf":[10,35,75,163],"algebras":[11,76],"provide":[12,77],"fundamental":[13],"examples":[14],"monoidal":[16,91,153],"categories.":[17],"In":[18,227],"this":[19,169,210,232],"expository":[20],"paper,":[21],"we":[22,180],"examine":[23],"such":[24],"as":[26,219],"models":[27,49,179],"(multiplicative)":[29],"linear":[30,45,104,125],"logic.":[31,46,105],"By":[32],"varying":[33],"the":[34,51,55,62,67,70,82,99,146,152,157,183,189,192,236],"algebra,":[36],"it":[37],"is":[38],"possible":[39],"to":[40,66,97,168,234],"model":[41,98,145],"several":[42],"variants":[43],"We":[47,106,149],"present":[48],"original":[52],"commutative":[53],"logic,":[54],"noncommutative":[56],"logic":[57,72],"Lambek":[59],"and":[60,69,111,143,175,197],"Abrusci,":[61],"braided":[63],"variant":[64],"due":[65],"author,":[68],"cyclic":[71],"Yetter.":[74],"a":[78,132,140,162,173,220,223],"unifying":[79],"framework":[80],"for":[81],"analysis":[83],"these":[85,88],"variants.":[86],"While":[87],"are":[90,117,199],"closed,":[92],"they":[93],"lack":[94],"sufficient":[95],"structure":[96,155,237],"involutive":[100,147],"negation":[101],"classical":[103],"recall":[107],"work":[108],"Lefschetz":[110],"Barr":[112,208,230],"in":[113,172,188],"which":[114,138],"vector":[115,214],"spaces":[116,215],"endowed":[118],"with":[119],"an":[120,228],"additional":[121],"topological":[122,170,213],"structure,":[123],"called":[124],"topology":[126],".":[127],"The":[128,178],"resulting":[129],"category":[130,158,171,211],"large":[133],"class":[134],"reflexive":[136],"objects,":[137],"form":[139],"*-autonomous":[141],"category,":[142],"so":[144],"negation.":[148],"show":[150],"closed":[154],"algebra":[164],"can":[165,216],"be":[166,217],"extended":[167],"natural":[174],"simple":[176],"manner.":[177],"obtain":[181],"have":[182],"advantage":[184],"being":[186],"nondegenerate":[187],"sense":[190],"two":[193],"multiplicative":[194],"connectives,":[195],"tensor":[196,240],"par,":[198],"not":[200],"equated.":[201],"been":[204],"shown":[206],"by":[207],"viewed":[218],"subcategory":[221],"certain":[224],"Chu":[225],"category.":[226],"Appendix,":[229],"uses":[231],"equivalence":[233],"analyze":[235],"its":[239],"product.":[241]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}