{"id":"https://openalex.org/W2005622128","doi":"https://doi.org/10.1017/s0960129510000514","title":"On monotone modalities and adjointness","display_name":"On monotone modalities and adjointness","publication_year":2011,"publication_date":"2011-03-25","ids":{"openalex":"https://openalex.org/W2005622128","doi":"https://doi.org/10.1017/s0960129510000514","mag":"2005622128"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129510000514","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129510000514","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/A5018493000","display_name":"Marta B\u00edlkov\u00e1","orcid":"https://orcid.org/0000-0002-3490-2083"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"MARTA B\u00cdLKOV\u00c1","raw_affiliation_strings":["Department of Logic, Charles University in Prague E-mail:","Department of Logic, Charles University in Prague E-mail: marta.bilkova@ff.cuni.cz"],"affiliations":[{"raw_affiliation_string":"Department of Logic, Charles University in Prague E-mail:","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Department of Logic, Charles University in Prague E-mail: marta.bilkova@ff.cuni.cz","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111511657","display_name":"Ji\u0159\u0131\u0301 Velebil","orcid":null},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"JI\u0158\u00cd VELEBIL","raw_affiliation_strings":["Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic E-mail:","Faculty of electrical engineering, czech technical university in prague, czech republic e-mail: velebil@math.feld.cvut.cz#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic E-mail:","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Faculty of electrical engineering, czech technical university in prague, czech republic e-mail: velebil@math.feld.cvut.cz#TAB#","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5105920523","display_name":"Yde Venema","orcid":null},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"YDE VENEMA","raw_affiliation_strings":["Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands E-mail:","Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands E-mail: Y.Venema@uva.nl"],"affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands E-mail:","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation, University of Amsterdam, The Netherlands E-mail: Y.Venema@uva.nl","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5018493000"],"corresponding_institution_ids":["https://openalex.org/I21250087"],"apc_list":null,"apc_paid":null,"fwci":0.4439,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.72185474,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"21","issue":"2","first_page":"383","last_page":"416"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9947999715805054,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9947999715805054,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9937000274658203,"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.9797000288963318,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/finitary","display_name":"Finitary","score":0.8594175577163696},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7235321402549744},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.6207208633422852},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.616984486579895},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.5394367575645447},{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.5269485116004944},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.48466116189956665},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.435604453086853},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4290856719017029},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.4255322813987732},{"id":"https://openalex.org/keywords/concatenation","display_name":"Concatenation (mathematics)","score":0.4192482829093933},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.29951441287994385},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.17436769604682922},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.12928584218025208},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07514560222625732}],"concepts":[{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.8594175577163696},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7235321402549744},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.6207208633422852},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.616984486579895},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.5394367575645447},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.5269485116004944},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.48466116189956665},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.435604453086853},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4290856719017029},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.4255322813987732},{"id":"https://openalex.org/C87619178","wikidata":"https://www.wikidata.org/wiki/Q126002","display_name":"Concatenation (mathematics)","level":2,"score":0.4192482829093933},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.29951441287994385},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.17436769604682922},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.12928584218025208},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07514560222625732},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s0960129510000514","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129510000514","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"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/c7b0e04c-7b59-472b-8993-4f064bf70a0f","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/on-monotone-modalities-and-adjointness(c7b0e04c-7b59-472b-8993-4f064bf70a0f).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"B\u00edlkov\u00e1, M, Velebil, J & Venema, Y 2011, 'On monotone modalities and adjointness', Mathematical Structures in Computer Science, vol. 21, pp. 383-416. https://doi.org/10.1017/S0960129510000514","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:dare.uva.nl:publications/c7b0e04c-7b59-472b-8993-4f064bf70a0f","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/on-monotone-modalities-and-adjointness(c7b0e04c-7b59-472b-8993-4f064bf70a0f).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"B\u00edlkov\u00e1, M, Velebil, J & Venema, Y 2011, 'On monotone modalities and adjointness', Mathematical Structures in Computer Science, vol. 21, pp. 383-416. https://doi.org/10.1017/S0960129510000514","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W36588815","https://openalex.org/W1508750282","https://openalex.org/W1567412998","https://openalex.org/W1568599313","https://openalex.org/W1664983908","https://openalex.org/W1719974439","https://openalex.org/W1937477791","https://openalex.org/W1982431152","https://openalex.org/W2028945659","https://openalex.org/W2106283957","https://openalex.org/W2107694278","https://openalex.org/W2113584086","https://openalex.org/W2115452397","https://openalex.org/W2142018979","https://openalex.org/W2144782528","https://openalex.org/W2263967233","https://openalex.org/W2522910287","https://openalex.org/W2963277410","https://openalex.org/W3124817010","https://openalex.org/W3143808638","https://openalex.org/W4213277014","https://openalex.org/W6727590317"],"related_works":["https://openalex.org/W2976590292","https://openalex.org/W2333621390","https://openalex.org/W1607287758","https://openalex.org/W3099212081","https://openalex.org/W2107846795","https://openalex.org/W2004318671","https://openalex.org/W2042266169","https://openalex.org/W2555642749","https://openalex.org/W1489292980","https://openalex.org/W2025919169"],"abstract_inverted_index":{"We":[0,49,76],"fix":[1],"a":[2,18,30,62,69],"logical":[3,85],"connection":[4,86],"(":[5],"Stone":[6],"\u02e7":[7],"Pred":[8],":":[9,33],"Set":[10,34,36],"op":[11],"\u2192":[12,35],"BA":[13],"given":[14],"by":[15,29],"2":[16],"as":[17],"schizophrenic":[19],"object)":[20],"and":[21,40,42,46,87],"study":[22],"coalgebraic":[23],"modal":[24],"logic":[25],"that":[26,37,51,89],"is":[27,38,61,68],"induced":[28],"functor":[31],"T":[32,55],"finitary":[39],"standard":[41],"preserves":[43],"weak":[44],"pullbacks":[45],"finite":[47],"sets.":[48],"prove":[50],"for":[52],"any":[53],"such":[54],",":[56],"the":[57,84],"cover":[58],"modality":[59],"nabla":[60],"left":[63,93],"(and":[64],"its":[65],"dual":[66],"delta":[67],"right)":[70,95],"adjoint":[71],"relative":[72,97],"to":[73,98],"\u03c9":[74,99],".":[75,100],"then":[77],"consider":[78],"monotone":[79],"unary":[80],"modalities":[81],"arising":[82],"from":[83],"show":[88],"they":[90],"all":[91],"are":[92],"(or":[94],"adjoints":[96]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-03-15T09:29:46.208133","created_date":"2025-10-10T00:00:00"}