{"id":"https://openalex.org/W7163530127","doi":"https://doi.org/10.1017/s0960129526100553","title":"Constructing linear bicategories","display_name":"Constructing linear bicategories","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7163530127","doi":"https://doi.org/10.1017/s0960129526100553"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129526100553","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129526100553","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F4677A6AF3654F28C4C328E5BBE39F2F/S0960129526100553a.pdf/div-class-title-constructing-linear-bicategories-div.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F4677A6AF3654F28C4C328E5BBE39F2F/S0960129526100553a.pdf/div-class-title-constructing-linear-bicategories-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5137850016","display_name":"Susan Niefield","orcid":"https://orcid.org/0009-0001-3764-6767"},"institutions":[{"id":"https://openalex.org/I177328695","display_name":"Union College","ror":"https://ror.org/058w5nk68","country_code":"US","type":"education","lineage":["https://openalex.org/I177328695"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Susan Niefield","raw_affiliation_strings":["Union College"],"raw_orcid":"https://orcid.org/0009-0001-3764-6767","affiliations":[{"raw_affiliation_string":"Union College","institution_ids":["https://openalex.org/I177328695"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137816940","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":false,"raw_author_name":"Richard Blute","raw_affiliation_strings":["University of Ottawa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Ottawa","institution_ids":["https://openalex.org/I153718931"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035343378","display_name":"Rose Kudzman-Blais","orcid":null},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Rose Kudzman-Blais","raw_affiliation_strings":["Temporary (post doc) position at Kyoto University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Temporary (post doc) position at Kyoto University","institution_ids":["https://openalex.org/I22299242"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5137850016"],"corresponding_institution_ids":["https://openalex.org/I177328695"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.70309991,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"36","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.4602999985218048,"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.4602999985218048,"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.34549999237060547,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.07739999890327454,"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/lift","display_name":"Lift (data mining)","score":0.5440000295639038},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.5027999877929688},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4668999910354614},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.43230000138282776},{"id":"https://openalex.org/keywords/linear-map","display_name":"Linear map","score":0.4088999927043915},{"id":"https://openalex.org/keywords/semiring","display_name":"Semiring","score":0.40639999508857727},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3937999904155731},{"id":"https://openalex.org/keywords/morphism","display_name":"Morphism","score":0.36160001158714294}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7635999917984009},{"id":"https://openalex.org/C139002025","wikidata":"https://www.wikidata.org/wiki/Q3001212","display_name":"Lift (data mining)","level":2,"score":0.5440000295639038},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.5027999877929688},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.47279998660087585},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4668999910354614},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.43230000138282776},{"id":"https://openalex.org/C49766605","wikidata":"https://www.wikidata.org/wiki/Q207643","display_name":"Linear map","level":2,"score":0.4088999927043915},{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.40639999508857727},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3937999904155731},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3634999990463257},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.36160001158714294},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.3513000011444092},{"id":"https://openalex.org/C172331165","wikidata":"https://www.wikidata.org/wiki/Q524607","display_name":"General linear group","level":3,"score":0.3276999890804291},{"id":"https://openalex.org/C2779904274","wikidata":"https://www.wikidata.org/wiki/Q1945014","display_name":"Monoidal category","level":2,"score":0.30160000920295715},{"id":"https://openalex.org/C109175616","wikidata":"https://www.wikidata.org/wiki/Q1091024","display_name":"Continuous linear operator","level":2,"score":0.29679998755455017},{"id":"https://openalex.org/C139352143","wikidata":"https://www.wikidata.org/wiki/Q82571","display_name":"Linear algebra","level":2,"score":0.27970001101493835},{"id":"https://openalex.org/C20050597","wikidata":"https://www.wikidata.org/wiki/Q261527","display_name":"Linear form","level":2,"score":0.27720001339912415},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.27239999175071716},{"id":"https://openalex.org/C17095337","wikidata":"https://www.wikidata.org/wiki/Q2375229","display_name":"Piecewise linear function","level":2,"score":0.2615000009536743}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129526100553","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129526100553","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F4677A6AF3654F28C4C328E5BBE39F2F/S0960129526100553a.pdf/div-class-title-constructing-linear-bicategories-div.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/s0960129526100553","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s0960129526100553","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F4677A6AF3654F28C4C328E5BBE39F2F/S0960129526100553a.pdf/div-class-title-constructing-linear-bicategories-div.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7163530127.pdf","grobid_xml":"https://content.openalex.org/works/W7163530127.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W158035142","https://openalex.org/W586900136","https://openalex.org/W616288317","https://openalex.org/W1527995180","https://openalex.org/W1575154481","https://openalex.org/W1643571618","https://openalex.org/W1908473049","https://openalex.org/W1964901710","https://openalex.org/W1965338471","https://openalex.org/W1992693690","https://openalex.org/W2001144381","https://openalex.org/W2011659388","https://openalex.org/W2018773995","https://openalex.org/W2020879982","https://openalex.org/W2057783500","https://openalex.org/W2075367647","https://openalex.org/W2078432227","https://openalex.org/W2083870361","https://openalex.org/W2086377938","https://openalex.org/W2140500391","https://openalex.org/W2911865844","https://openalex.org/W3213136818","https://openalex.org/W4212882251","https://openalex.org/W4234269419","https://openalex.org/W4248272788","https://openalex.org/W4256453086","https://openalex.org/W4293391739","https://openalex.org/W4394657101","https://openalex.org/W4413966241"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Linearly":[1],"distributive":[2,29],"categories":[3],"were":[4],"introduced":[5],"to":[6,16,72,85,178,239,305],"model":[7],"the":[8,17,24,42,48,58,62,110,118,124,146,240,283,294],"tensor/par":[9],"fragment":[10],"of":[11,19,27,38,44,76,81,120,126,157,248,285,296,318],"linear":[12,33,55,159,198,204,213,241,249,255,263,272,319],"logic,":[13],"without":[14],"resorting":[15],"use":[18],"negation.":[20],"Linear":[21],"bicategories":[22],"are":[23,51,89,97,189,312],"bicategorical":[25,112,202],"version":[26,317],"linearly":[28],"categories.":[30],"Essentially,":[31],"a":[32,45,54,74,92,130,138,150,158,170,197,212,221,271,315],"bicategory":[34,148,232,284,295],"has":[35],"two":[36,49,192],"forms":[37],"composition,":[39],"each":[40],"determining":[41],"structure":[43],"bicategory,":[46],"and":[47,102,104,143,163,200,216,234,244,262,288,291,299],"compositions":[50],"related":[52,195],"by":[53,99,105,135,196],"distribution.":[56],"After":[57],"initial":[59],"paper":[60,83],"on":[61],"subject,":[63],"there":[64,70,88],"was":[65],"little":[66],"further":[67],"work":[68],"as":[69,279],"seemed":[71],"be":[73,306],"lack":[75],"examples.":[77],"The":[78,161],"main":[79],"goal":[80],"this":[82,174],"is":[84,115,129,140,149,154,176,211,220,270],"demonstrate":[86],"that":[87,123,137,208,236],"in":[90,117,259,265,313],"fact":[91],"great":[93],"many":[94],"examples,":[95],"which":[96,153,188,311],"obtained":[98],"considering":[100],"quantales":[101],"quantaloids":[103],"extending":[106],"familiar":[107],"constructions":[108,229],"from":[109,230],"(ordinary)":[111],"setting.":[113],"It":[114],"standard":[116,228],"field":[119],"monoidal":[121],"topology":[122],"category":[125],"quantale-valued":[127],"relations":[128],"bicategory.":[131,160],"Here,":[132],"we":[133,184,253],"begin":[134],"showing":[136],"quantale":[139,193],"Girard":[141,151,171],"if":[142,145,215,218],"only":[144,217],"corresponding":[147],"quantaloid,":[152],"an":[155],"example":[156],"tropical":[162],"arctic":[164],"semiring":[165],"structures":[166,194],"fit":[167],"together":[168],"into":[169],"quantale,":[172],"so":[173],"construction":[175],"likely":[177],"have":[179],"multiple":[180],"applications.":[181],"More":[182],"generally,":[183],"define":[185],"LD":[186,222],"-quantales,":[187],"suplattices":[190],"with":[191],"distribution,":[199],"their":[201],"analog,":[203],"quantaloids.":[205],"We":[206,224,274],"show":[207,235],"$Q\\text{-}{\\sf":[209],"Rel}$":[210],"quantaloid":[214,242],"$Q$":[219],"-quantale.":[223],"then":[225],"consider":[226,254],"several":[227],"enriched":[231],"theory":[233],"these":[237],"lift":[238],"setting":[243],"produce":[245],"new":[246],"examples":[247,278],"bicategories.":[250,320],"In":[251],"particular,":[252],"$\\mathscr{Q}$":[256,260,266,269],"-categories,":[257],"matrices":[258],",":[261,267,282,293],"monads":[264],"where":[268],"quantaloid.":[273],"develop":[275],"non-locally":[276],"posetal":[277],"well:":[280],"$\\mathscr{Q}\\mathrm{uant}$":[281],"quantales,":[286],"modules,":[287,298],"module":[289,300],"homomorphisms;":[290],"$\\mathscr{Q}\\mathrm{tld}$":[292],"quantaloids,":[297],"homomorphisms.":[301],"These":[302],"turn":[303],"out":[304],"cyclic":[307],"$*$":[308],"-autonomous":[309],"bicategories,":[310],"essence":[314],"closed":[316]},"counts_by_year":[],"updated_date":"2026-06-06T06:22:57.294733","created_date":"2026-06-05T00:00:00"}