{"id":"https://openalex.org/W2114288551","doi":"https://doi.org/10.1016/s1571-0661(04)80644-3","title":"Comonoids in chu","display_name":"Comonoids in chu","publication_year":2003,"publication_date":"2003-07-01","ids":{"openalex":"https://openalex.org/W2114288551","doi":"https://doi.org/10.1016/s1571-0661(04)80644-3","mag":"2114288551"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)80644-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80644-3","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"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 Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)80644-3","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109845004","display_name":"Vaughan Pratt","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Vaughan R. Pratt","raw_affiliation_strings":["Computer Science Dept., Stanford University, Stanford CA 94305, USA http://boole.stanford.edu/pratt.html"],"affiliations":[{"raw_affiliation_string":"Computer Science Dept., Stanford University, Stanford CA 94305, USA http://boole.stanford.edu/pratt.html","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5109845004"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.1343935,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"82","issue":"1","first_page":"273","last_page":"284"},"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.9988999962806702,"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.9988999962806702,"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.9969000220298767,"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/T10304","display_name":"Geometric and Algebraic Topology","score":0.988099992275238,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/cartesian-closed-category","display_name":"Cartesian closed category","score":0.6162682771682739},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.616182804107666},{"id":"https://openalex.org/keywords/diagonal","display_name":"Diagonal","score":0.611931324005127},{"id":"https://openalex.org/keywords/witness","display_name":"Witness","score":0.5672770142555237},{"id":"https://openalex.org/keywords/divergence","display_name":"Divergence (linguistics)","score":0.4988548755645752},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.49858784675598145},{"id":"https://openalex.org/keywords/dual","display_name":"Dual (grammatical number)","score":0.4889894723892212},{"id":"https://openalex.org/keywords/topological-space","display_name":"Topological space","score":0.47402456402778625},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46766865253448486},{"id":"https://openalex.org/keywords/enhanced-data-rates-for-gsm-evolution","display_name":"Enhanced Data Rates for GSM Evolution","score":0.44243088364601135},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.4266735911369324},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.42464521527290344},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3903716802597046},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.37949538230895996},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.35578933358192444},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3186807930469513},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14604929089546204},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.09711682796478271},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.08386620879173279},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.07435411214828491}],"concepts":[{"id":"https://openalex.org/C171032842","wikidata":"https://www.wikidata.org/wiki/Q1725874","display_name":"Cartesian closed category","level":2,"score":0.6162682771682739},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.616182804107666},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.611931324005127},{"id":"https://openalex.org/C2776900844","wikidata":"https://www.wikidata.org/wiki/Q8028383","display_name":"Witness","level":2,"score":0.5672770142555237},{"id":"https://openalex.org/C207390915","wikidata":"https://www.wikidata.org/wiki/Q1230525","display_name":"Divergence (linguistics)","level":2,"score":0.4988548755645752},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.49858784675598145},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.4889894723892212},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.47402456402778625},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46766865253448486},{"id":"https://openalex.org/C162307627","wikidata":"https://www.wikidata.org/wiki/Q204833","display_name":"Enhanced Data Rates for GSM Evolution","level":2,"score":0.44243088364601135},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.4266735911369324},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.42464521527290344},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3903716802597046},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37949538230895996},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.35578933358192444},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3186807930469513},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14604929089546204},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.09711682796478271},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.08386620879173279},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.07435411214828491},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(04)80644-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80644-3","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"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 Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)80644-3","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)80644-3","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"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 Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W8738359","https://openalex.org/W1582269801","https://openalex.org/W1801991060","https://openalex.org/W1910820376","https://openalex.org/W1997563570","https://openalex.org/W2120713972","https://openalex.org/W4234269419"],"related_works":["https://openalex.org/W2890518300","https://openalex.org/W2366687089","https://openalex.org/W588843504","https://openalex.org/W2382947717","https://openalex.org/W1995053131","https://openalex.org/W2730728043","https://openalex.org/W1986005496","https://openalex.org/W2049734201","https://openalex.org/W2171063527","https://openalex.org/W2056826558"],"abstract_inverted_index":{"ComK":[0],"may":[1],"be":[2,98],"defined":[3],"as":[4,15,124],"the":[5,40,44,48,53,67,89,129],"(cartesian":[6],"closed)":[7],"category":[8],"of":[9,69,78,91,103,125],"comonoids":[10,74],"in":[11,28,95,101,133],"chuK,":[12],"or":[13],"equivalently":[14],"dictionaries":[16],"D":[17,23],"for":[18,83,121],"which":[19,111],"any":[20],"crossword":[21],"over":[22],"has":[24],"its":[25,104],"main":[26],"diagonal":[27],"D.":[29],"Com2":[30,70],"resembles":[31],"Top,":[32],"ordinary":[33],"topological":[34,49],"spaces.":[35],"Common":[36],"to":[37,135],"both":[38],"are":[39,113],"Alexandroff":[41],"posets":[42],"and":[43,52,71,85,107,110],"Scott":[45],"DCPOs,":[46],"while":[47],"space":[50],"R":[51],"dual":[54],"DCPO":[55],"{\u2212\u221e":[56],"<":[57,59,61,63],"\u2026":[58],"\u22122":[60],"\u22121":[62],"0}":[64],"jointly":[65],"witness":[66],"incomparability":[68],"Top.":[72],"Such":[73],"support":[75],"a":[76,93],"notion":[77],"bitopology":[79],"admitting":[80],"limits":[81],"simultaneously":[82],"convergence":[84],"divergence.":[86],"We":[87],"raise":[88],"questions":[90,116],"whether":[92],"comonoid":[94],"chu2":[96],"can":[97],"fully":[99],"specified":[100],"terms":[102],"specialization":[105],"order":[106],"omitted":[108],"cuts,":[109],"cuts":[112],"optional.":[114],"These":[115],"have":[117],"been":[118],"actively":[119],"pursued":[120],"four":[122],"weeks":[123],"this":[126],"writing":[127],"on":[128],"theory-edge":[130],"mailing":[131],"list":[132],"response":[134],"Puzzle":[136],"1.5":[137],"starting":[138],"with":[139],"http://groups.yahoo.com/group/theory-edge/messages/6957.":[140]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}