{"id":"https://openalex.org/W7119492621","doi":"https://doi.org/10.1093/logcom/exaf074","title":"Algebraic representations of some kinds of cocontinuous lattices","display_name":"Algebraic representations of some kinds of cocontinuous lattices","publication_year":2025,"publication_date":"2025-11-18","ids":{"openalex":"https://openalex.org/W7119492621","doi":"https://doi.org/10.1093/logcom/exaf074"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exaf074","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exaf074","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","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/A5122328488","display_name":"Chengkai Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]},{"id":"https://openalex.org/I198357462","display_name":"Changsha University","ror":"https://ror.org/011d8sm39","country_code":"CN","type":"education","lineage":["https://openalex.org/I198357462"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chengkai Liu","raw_affiliation_strings":["School of Mathematics, Hunan University , Changsha 410082,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics, Hunan University , Changsha 410082,","institution_ids":["https://openalex.org/I16609230","https://openalex.org/I198357462"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100565525","display_name":"Li Qingguo","orcid":null},"institutions":[{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]},{"id":"https://openalex.org/I198357462","display_name":"Changsha University","ror":"https://ror.org/011d8sm39","country_code":"CN","type":"education","lineage":["https://openalex.org/I198357462"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qingguo Li","raw_affiliation_strings":["School of Mathematics, Hunan University , Changsha 410082,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics, Hunan University , Changsha 410082,","institution_ids":["https://openalex.org/I16609230","https://openalex.org/I198357462"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102496927","display_name":"Xiangnan Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I16609230","display_name":"Hunan University","ror":"https://ror.org/05htk5m33","country_code":"CN","type":"education","lineage":["https://openalex.org/I16609230"]},{"id":"https://openalex.org/I198357462","display_name":"Changsha University","ror":"https://ror.org/011d8sm39","country_code":"CN","type":"education","lineage":["https://openalex.org/I198357462"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiangnan Zhou","raw_affiliation_strings":["School of Mathematics, Hunan University , Changsha 410082,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Mathematics, Hunan University , Changsha 410082,","institution_ids":["https://openalex.org/I16609230","https://openalex.org/I198357462"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.69222188,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"36","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.829200029373169,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.829200029373169,"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"}},{"id":"https://openalex.org/T11671","display_name":"Fuzzy and Soft Set Theory","score":0.06610000133514404,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.04580000042915344,"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/morphism","display_name":"Morphism","score":0.8224999904632568},{"id":"https://openalex.org/keywords/monad","display_name":"Monad (category theory)","score":0.7997999787330627},{"id":"https://openalex.org/keywords/subcategory","display_name":"Subcategory","score":0.7727000117301941},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5882999897003174},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.5622000098228455},{"id":"https://openalex.org/keywords/infimum-and-supremum","display_name":"Infimum and supremum","score":0.5508000254631042},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.5231999754905701},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.5041000247001648},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.47850000858306885}],"concepts":[{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.8224999904632568},{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.7997999787330627},{"id":"https://openalex.org/C2780617661","wikidata":"https://www.wikidata.org/wiki/Q541563","display_name":"Subcategory","level":2,"score":0.7727000117301941},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7554000020027161},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5882999897003174},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.5622000098228455},{"id":"https://openalex.org/C95611797","wikidata":"https://www.wikidata.org/wiki/Q17502105","display_name":"Infimum and supremum","level":2,"score":0.5508000254631042},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5497000217437744},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.5231999754905701},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5041000247001648},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.47850000858306885},{"id":"https://openalex.org/C2778249326","wikidata":"https://www.wikidata.org/wiki/Q1777803","display_name":"Coalgebra","level":3,"score":0.43529999256134033},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.42340001463890076},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3912000060081482},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3885999917984009},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.36070001125335693},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.3587000072002411},{"id":"https://openalex.org/C2780580338","wikidata":"https://www.wikidata.org/wiki/Q577835","display_name":"Adjunction","level":2,"score":0.33730000257492065},{"id":"https://openalex.org/C45347329","wikidata":"https://www.wikidata.org/wiki/Q5166604","display_name":"Convolution (computer science)","level":3,"score":0.32690000534057617},{"id":"https://openalex.org/C138390121","wikidata":"https://www.wikidata.org/wiki/Q5283219","display_name":"Distributivity","level":3,"score":0.31369999051094055},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.2962000072002411},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.2904999852180481},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.2838999927043915},{"id":"https://openalex.org/C2780267503","wikidata":"https://www.wikidata.org/wiki/Q410066","display_name":"Benzidine","level":2,"score":0.27950000762939453},{"id":"https://openalex.org/C203763787","wikidata":"https://www.wikidata.org/wiki/Q371029","display_name":"Null (SQL)","level":2,"score":0.25360000133514404},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.25049999356269836}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exaf074","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exaf074","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.47572559118270874}],"awards":[{"id":"https://openalex.org/G3844480252","display_name":null,"funder_award_id":"No.12231007","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8575588505","display_name":null,"funder_award_id":"No.12571495","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W69808434","https://openalex.org/W2037775432","https://openalex.org/W2040868527","https://openalex.org/W2078516608","https://openalex.org/W2080387624","https://openalex.org/W2330760217","https://openalex.org/W2920763892","https://openalex.org/W2963933237","https://openalex.org/W3035705554","https://openalex.org/W3083593687","https://openalex.org/W4308438103","https://openalex.org/W4402557667"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Let":[1],"$\\textbf{Lat}_{\\lor":[2,36,58],"}$":[3],"denote":[4],"the":[5,19,28,32,107],"category":[6,40,62],"of":[7,13,27,42,64,84,88,109,117],"lattices":[8,44,68],"with":[9,45,69],"morphisms":[10,46,70],"preserving":[11,47,71],"supremum":[12],"non-empty":[14,49,73],"finite":[15],"subsets.":[16],"We":[17],"prove":[18],"following:":[20],"(1)":[21],"There":[22],"exists":[23],"a":[24,81,102],"distributive":[25],"law":[26],"ordered-ideal":[29],"monad":[30,34],"over":[31,57],"ordered-filter":[33],"on":[35,92],"}$.":[37,59],"(2)":[38],"The":[39,61],"${\\textbf{Cnt}}^{\\mathbb{co}}$":[41],"cocontinuous":[43,67],"arbitrary":[48,72],"sups":[50,74],"and":[51,66,75,90],"filtered":[52,76],"infs":[53,77],"is":[54,78],"strictly":[55],"monadic":[56],"(3)":[60],"${\\textbf{MCnt}}^{\\mathbb{co}}$":[63],"meet-continuous":[65],"isomorphic":[79],"to":[80],"full":[82],"subcategory":[83],"${\\textbf{Lat}_{\\lor":[85,93],"}}^{\\mathbb{FilId}}$,":[86],"consisting":[87],"$\\mathbb{FilId}$-algebras":[89],"$\\mathbb{FilId}$-homomorphisms":[91],"}}$.":[94],"For":[95],"bounded-complete":[96],"posets,":[97],"analogous":[98],"Eilenberg\u2013Moore":[99],"algebras":[100],"provide":[101],"categorical":[103],"representation.":[104],"Finally,":[105],"using":[106],"concept":[108],"bounded":[110],"down-sets,":[111],"we":[112],"derive":[113],"an":[114],"algebraic":[115],"characterization":[116],"${{\\textbf{Cnt}}}^{\\mathrm{co}}$.":[118]},"counts_by_year":[],"updated_date":"2026-06-18T08:10:14.011955","created_date":"2026-01-09T00:00:00"}