{"id":"https://openalex.org/W7204592092","doi":"https://doi.org/10.48550/arxiv.2608.27292","title":"Kleisli convolution representations of power monoids","display_name":"Kleisli convolution representations of power monoids","publication_year":2026,"publication_date":"2026-08-27","ids":{"openalex":"https://openalex.org/W7204592092","doi":"https://doi.org/10.48550/arxiv.2608.27292"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.27292","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.27292","pdf_url":"https://arxiv.org/pdf/2608.27292","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.27292","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5148506801","display_name":"Haicun Wen","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I68986083","display_name":"Northwest Normal University","ror":"https://ror.org/00gx3j908","country_code":"CN","type":"education","lineage":["https://openalex.org/I68986083"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wen, Haicun","raw_affiliation_strings":["College of Mathematics and Statistics , Northwest Normal University , Lanzhou 730070 , China;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Mathematics and Statistics , Northwest Normal University , Lanzhou 730070 , China;","institution_ids":["https://openalex.org/I68986083"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5148530123","display_name":"Jian He","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I22716506","display_name":"Lanzhou University of Technology","ror":"https://ror.org/03panb555","country_code":"CN","type":"education","lineage":["https://openalex.org/I22716506"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"He, Jian","raw_affiliation_strings":["Department of Applied Mathematics , Lanzhou University of Technology , Lanzhou 730050 , China;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics , Lanzhou University of Technology , Lanzhou 730050 , China;","institution_ids":["https://openalex.org/I22716506"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011621912","display_name":"Yu-Zhe Liu","orcid":"https://orcid.org/0009-0005-1110-386X","observed_orcids":["https://orcid.org/0009-0005-1110-386X"]},"institutions":[{"id":"https://openalex.org/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]},{"id":"https://openalex.org/I68986083","display_name":"Northwest Normal University","ror":"https://ror.org/00gx3j908","country_code":"CN","type":"education","lineage":["https://openalex.org/I68986083"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liu, Yu-Zhe","raw_affiliation_strings":["College of Mathematics and Statistics , Northwest Normal University , Lanzhou 730070 , China;","School of Mathematics and Statistics , Guizhou University , Guiyang 550025 , Guizhou , China;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Mathematics and Statistics , Northwest Normal University , Lanzhou 730070 , China;","institution_ids":["https://openalex.org/I68986083"]},{"raw_affiliation_string":"School of Mathematics and Statistics , Guizhou University , Guiyang 550025 , Guizhou , China;","institution_ids":["https://openalex.org/I178232147"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.7099999785423279,"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/T11567","display_name":"semigroups and automata theory","score":0.7099999785423279,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.12070000171661377,"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/T10126","display_name":"Logic, programming, and type systems","score":0.023099999874830246,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/kleisli-category","display_name":"Kleisli category","score":0.847000002861023},{"id":"https://openalex.org/keywords/numerical-monoids","display_name":"numerical monoids","score":0.8429999947547913},{"id":"https://openalex.org/keywords/automorphism-groups","display_name":"automorphism groups","score":0.7160000205039978}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8190000057220459},{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.7727000117301941},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.7129999995231628},{"id":"https://openalex.org/C116858840","wikidata":"https://www.wikidata.org/wiki/Q1340800","display_name":"Endomorphism","level":2,"score":0.5490000247955322},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.5236999988555908},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.49480000138282776},{"id":"https://openalex.org/C45347329","wikidata":"https://www.wikidata.org/wiki/Q5166604","display_name":"Convolution (computer science)","level":3,"score":0.47269999980926514},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.4108999967575073},{"id":"https://openalex.org/C119903167","wikidata":"https://www.wikidata.org/wiki/Q3321297","display_name":"Syntactic monoid","level":4,"score":0.4108999967575073},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3837999999523163},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.3783999979496002},{"id":"https://openalex.org/C119238805","wikidata":"https://www.wikidata.org/wiki/Q229102","display_name":"Surjective function","level":2,"score":0.3628999888896942},{"id":"https://openalex.org/C149685015","wikidata":"https://www.wikidata.org/wiki/Q5500266","display_name":"Free monoid","level":3,"score":0.362199991941452},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.3610999882221222},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3495999872684479},{"id":"https://openalex.org/C33959348","wikidata":"https://www.wikidata.org/wiki/Q1630568","display_name":"Monad (category theory)","level":3,"score":0.3467000126838684},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.33959999680519104},{"id":"https://openalex.org/C103751382","wikidata":"https://www.wikidata.org/wiki/Q4866384","display_name":"Base change","level":2,"score":0.28029999136924744},{"id":"https://openalex.org/C46149467","wikidata":"https://www.wikidata.org/wiki/Q7574800","display_name":"Special classes of semigroups","level":3,"score":0.2603999972343445},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.25130000710487366}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.27292","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.27292","pdf_url":"https://arxiv.org/pdf/2608.27292","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.27292","doi":"https://doi.org/10.48550/arxiv.2608.27292","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.27292","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.27292","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.27292","pdf_url":"https://arxiv.org/pdf/2608.27292","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204592092.pdf","grobid_xml":"https://content.openalex.org/works/W7204592092.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W2586008757","https://openalex.org/W4389135490","https://openalex.org/W4404092398","https://openalex.org/W4406189761","https://openalex.org/W4410253034","https://openalex.org/W4413982827","https://openalex.org/W4415964965","https://openalex.org/W4417089541","https://openalex.org/W7127137570","https://openalex.org/W7130419511","https://openalex.org/W7135204858","https://openalex.org/W7162313397","https://openalex.org/W7167847771","https://openalex.org/W7202186405"],"related_works":["https://openalex.org/W2073475062","https://openalex.org/W4389135490","https://openalex.org/W4417449751","https://openalex.org/W7127137570","https://openalex.org/W7171533079","https://openalex.org/W7163131286","https://openalex.org/W7212138444","https://openalex.org/W4415964965","https://openalex.org/W7223210746","https://openalex.org/W1964925752"],"abstract_inverted_index":{"We":[0],"show":[1],"that":[2,101,135],"power":[3,12,40,68,77],"semigroups":[4],"of":[5,22,83,93,121,128],"groups,":[6],"and":[7,91,143],"more":[8],"generally":[9],"reduced":[10,47,66],"finitary":[11,67],"monoids,":[13],"arise":[14],"naturally":[15],"as":[16],"convolution":[17,81],"monoids":[18],"in":[19,76,125,145],"Kleisli":[20,32,55,80,109,129],"categories":[21],"powerset":[23,29,49],"monads:":[24],"(1)":[25],"for":[26,45,102],"the":[27,31,39,46,54,65,108,122,126],"non-empty":[28],"monad,":[30],"Hom-space":[33,56],"$\\mathrm{Hom}_{\\mathbf{Kl}(\\mathscr":[34,57,111],"P_+)}(1,G)$":[35],"is":[36,62,115],"isomorphic":[37,63],"to":[38,64],"monoid":[41,69,106],"$\\mathcal":[42,70],"P_+(G)$;":[43],"(2)":[44],"finite":[48],"monad":[50],"on":[51,149,151],"pointed":[52],"sets,":[53],"P_{\\mathrm{fin}})}$":[58],"$(\\mathbb":[59],"Z/2\\mathbb":[60,113],"Z,H)$":[61],"P_{\\mathrm{fin},1}(H)$.":[71],"This":[72,117],"unifies":[73],"several":[74],"constructions":[75],"semigroup":[78],"theory:":[79],"representations":[82],"semigroups,":[84],"base":[85],"change":[86],"along":[87],"surjective":[88],"group":[89],"homomorphisms,":[90],"rigidity":[92],"automorphism":[94],"groups.":[95],"As":[96],"an":[97],"application,":[98],"we":[99],"prove":[100],"every":[103],"proper":[104],"numerical":[105],"$S$,":[107],"Hom-monoid":[110],"P_{\\mathrm{fin}})}(\\mathbb":[112],"Z,S)$":[114],"rigid.":[116],"gives":[118],"a":[119,146],"proof":[120],"Tringali--Yan":[123],"conjecture":[124,137],"language":[127],"categories.":[130],"It":[131],"should":[132],"be":[133],"mentioned":[134],"this":[136],"was":[138],"already":[139],"proved":[140],"by":[141],"Bhowmik":[142],"Tringali":[144],"preprint":[147],"posted":[148],"arXiv":[150],"July":[152],"25,":[153],"2026.":[154]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-08-29T00:00:00"}