{"id":"https://openalex.org/W2944939439","doi":"https://doi.org/10.1017/s0960129518000361","title":"Equational properties of fixed-point operations in cartesian categories: An overview","display_name":"Equational properties of fixed-point operations in cartesian categories: An overview","publication_year":2019,"publication_date":"2019-05-24","ids":{"openalex":"https://openalex.org/W2944939439","doi":"https://doi.org/10.1017/s0960129518000361","mag":"2944939439"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129518000361","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129518000361","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/A5017293831","display_name":"Zolt\u00e1n \u00c9sik","orcid":null},"institutions":[{"id":"https://openalex.org/I227486990","display_name":"University of Szeged","ror":"https://ror.org/01pnej532","country_code":"HU","type":"education","lineage":["https://openalex.org/I227486990"]}],"countries":["HU"],"is_corresponding":true,"raw_author_name":"Z \u00c9sik","raw_affiliation_strings":["Department of Computer Science, University of Szeged, Hungary Email:","University of Szeged >  >  >  >"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Szeged, Hungary Email:","institution_ids":["https://openalex.org/I227486990"]},{"raw_affiliation_string":"University of Szeged >  >  >  >","institution_ids":["https://openalex.org/I227486990"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5017293831"],"corresponding_institution_ids":["https://openalex.org/I227486990"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.04131407,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"29","issue":"06","first_page":"909","last_page":"925"},"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.9977999925613403,"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.9977999925613403,"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.9926999807357788,"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/T10142","display_name":"Formal Methods in Verification","score":0.9915000200271606,"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/axiom","display_name":"Axiom","score":0.6407747864723206},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.61676025390625},{"id":"https://openalex.org/keywords/fixed-point","display_name":"Fixed point","score":0.5836923718452454},{"id":"https://openalex.org/keywords/infimum-and-supremum","display_name":"Infimum and supremum","score":0.5468045473098755},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.5065542459487915},{"id":"https://openalex.org/keywords/least-fixed-point","display_name":"Least fixed point","score":0.5003416538238525},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.4862586259841919},{"id":"https://openalex.org/keywords/cartesian-coordinate-system","display_name":"Cartesian coordinate system","score":0.4571648836135864},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4294251799583435},{"id":"https://openalex.org/keywords/fixed-point-iteration","display_name":"Fixed-point iteration","score":0.4197947382926941},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3932860493659973},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.38049793243408203},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.36453449726104736},{"id":"https://openalex.org/keywords/fixed-point-theorem","display_name":"Fixed-point theorem","score":0.3071637451648712},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.0982271134853363}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6407747864723206},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.61676025390625},{"id":"https://openalex.org/C61445026","wikidata":"https://www.wikidata.org/wiki/Q217608","display_name":"Fixed point","level":2,"score":0.5836923718452454},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.5468045473098755},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.5065542459487915},{"id":"https://openalex.org/C27333817","wikidata":"https://www.wikidata.org/wiki/Q6134913","display_name":"Least fixed point","level":5,"score":0.5003416538238525},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.4862586259841919},{"id":"https://openalex.org/C16038011","wikidata":"https://www.wikidata.org/wiki/Q62912","display_name":"Cartesian coordinate system","level":2,"score":0.4571648836135864},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4294251799583435},{"id":"https://openalex.org/C157449380","wikidata":"https://www.wikidata.org/wiki/Q1030759","display_name":"Fixed-point iteration","level":3,"score":0.4197947382926941},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3932860493659973},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.38049793243408203},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.36453449726104736},{"id":"https://openalex.org/C45962547","wikidata":"https://www.wikidata.org/wiki/Q1422068","display_name":"Fixed-point theorem","level":2,"score":0.3071637451648712},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0982271134853363},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C28642324","wikidata":"https://www.wikidata.org/wiki/Q656176","display_name":"Schauder fixed point theorem","level":4,"score":0.0},{"id":"https://openalex.org/C206929604","wikidata":"https://www.wikidata.org/wiki/Q530152","display_name":"Picard\u2013Lindel\u00f6f theorem","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129518000361","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129518000361","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":[{"display_name":"Quality Education","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":73,"referenced_works":["https://openalex.org/W62591771","https://openalex.org/W63499524","https://openalex.org/W74837410","https://openalex.org/W78281073","https://openalex.org/W96288653","https://openalex.org/W96316838","https://openalex.org/W99963581","https://openalex.org/W124288489","https://openalex.org/W137476671","https://openalex.org/W187758485","https://openalex.org/W203130594","https://openalex.org/W217941633","https://openalex.org/W258022877","https://openalex.org/W633421911","https://openalex.org/W1481365453","https://openalex.org/W1503592937","https://openalex.org/W1503973138","https://openalex.org/W1528678243","https://openalex.org/W1546048935","https://openalex.org/W1547562281","https://openalex.org/W1564574237","https://openalex.org/W1572677512","https://openalex.org/W1581140154","https://openalex.org/W1582555793","https://openalex.org/W1605626978","https://openalex.org/W1616653757","https://openalex.org/W1666430551","https://openalex.org/W1748837224","https://openalex.org/W1748927325","https://openalex.org/W1772686893","https://openalex.org/W1856161107","https://openalex.org/W1875659804","https://openalex.org/W1963650429","https://openalex.org/W1965620900","https://openalex.org/W1967390724","https://openalex.org/W1970133423","https://openalex.org/W1979971526","https://openalex.org/W1983617484","https://openalex.org/W1987000283","https://openalex.org/W1993035157","https://openalex.org/W1998189680","https://openalex.org/W2006716320","https://openalex.org/W2021257181","https://openalex.org/W2023309117","https://openalex.org/W2026410426","https://openalex.org/W2029438897","https://openalex.org/W2037729105","https://openalex.org/W2043871010","https://openalex.org/W2050307662","https://openalex.org/W2061786858","https://openalex.org/W2077478451","https://openalex.org/W2078182449","https://openalex.org/W2079697982","https://openalex.org/W2083527366","https://openalex.org/W2088049948","https://openalex.org/W2089606312","https://openalex.org/W2091780332","https://openalex.org/W2093397547","https://openalex.org/W2095747698","https://openalex.org/W2102357532","https://openalex.org/W2107674601","https://openalex.org/W2120948330","https://openalex.org/W2149887641","https://openalex.org/W2157488580","https://openalex.org/W2161360624","https://openalex.org/W2163152086","https://openalex.org/W2401696820","https://openalex.org/W2608740768","https://openalex.org/W3098054702","https://openalex.org/W3127823229","https://openalex.org/W4212873186","https://openalex.org/W4250665859","https://openalex.org/W4300885858"],"related_works":["https://openalex.org/W2137028060","https://openalex.org/W2116322260","https://openalex.org/W1994511561","https://openalex.org/W2753159733","https://openalex.org/W2070994188","https://openalex.org/W2963561542","https://openalex.org/W1934562588","https://openalex.org/W2361386350","https://openalex.org/W2163848139","https://openalex.org/W3038328573"],"abstract_inverted_index":{"Abstract":[0],"Several":[1],"fixed-point":[2,128,194],"models":[3],"share":[4],"the":[5,34,49,91,94,99,113,126,131,137,175,185,192],"equational":[6,39,70,157],"properties":[7],"of":[8,33,48,109,116,139,146,181,189],"iteration":[9,12,42,52,80,95,114],"theories,":[10],"or":[11,23,118,142,168],"categories,":[13,191],"which":[14,161],"are":[15],"cartesian":[16,190],"categories":[17,43,53,81,138],"equipped":[18,124],"with":[19,82,125],"a":[20,106,155],"fixed":[21],"point":[22],"dagger":[24],"operation":[25,129,134,195],"subject":[26],"to":[27],"certain":[28],"axioms.":[29,50],"After":[30],"discussing":[31],"some":[32],"basic":[35],"models,":[36],"we":[37,78,153],"provide":[38],"bases":[40],"for":[41,58,166],"and":[44,86,98,130,150,164,187,196],"offer":[45],"an":[46,83],"analysis":[47],"Although":[51],"have":[54],"no":[55],"finite":[56,107,156],"base":[57],"their":[59,69,182],"identities,":[60],"there":[61],"exist":[62],"finitely":[63],"based":[64],"implicational":[65],"theories":[66],"that":[67,177],"capture":[68],"theory.":[71],"We":[72],"exhibit":[73,87,154],"several":[74],"such":[75],"systems.":[76],"Then":[77],"enrich":[79],"additive":[84,100],"structure":[85,97,101],"interesting":[88],"cases":[89],"where":[90],"interaction":[92],"between":[93],"category":[96,115],"can":[102],"be":[103],"captured":[104],"by":[105],"number":[108],"identities.":[110],"This":[111],"includes":[112],"monotonic":[117,167],"continuous":[119,169],"functions":[120,170],"over":[121,171],"complete":[122,165,172],"lattices":[123,173],"least":[127,193],"binary":[132,197],"supremum":[133],"as":[135],"addition,":[136],"simulation,":[140],"bisimulation,":[141],"language":[143],"equivalence":[144],"classes":[145],"processes,":[147],"context-free":[148],"languages,":[149],"others.":[151],"Finally,":[152],"system":[158],"involving":[159,184,201],"residuals,":[160],"is":[162],"sound":[163],"in":[174],"sense":[176],"it":[178],"proves":[179],"all":[180],"identities":[183],"operations":[186],"constants":[188],"supremum,":[198],"but":[199],"not":[200],"residuals.":[202]},"counts_by_year":[{"year":2017,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}