{"id":"https://openalex.org/W2962746386","doi":"https://doi.org/10.4230/lipics.calco.2015.1","title":"Syntactic Monoids in a Category","display_name":"Syntactic Monoids in a Category","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2962746386","doi":"https://doi.org/10.4230/lipics.calco.2015.1","mag":"2962746386"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:5523","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.1","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},"type":"article","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038462111","display_name":"Ji\u0159\u0131\u0301 Ad\u00e1mek","orcid":"https://orcid.org/0000-0001-8562-1233"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Adamek, Jiri","raw_affiliation_strings":["Technische Universit\u00e4t Braunschweig, Braunschweig, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Braunschweig, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015904690","display_name":"Stefan Milius","orcid":"https://orcid.org/0000-0002-2021-1644"},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Milius, Stefan","raw_affiliation_strings":["Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany","institution_ids":["https://openalex.org/I181369854"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049596655","display_name":"Henning Urbat","orcid":"https://orcid.org/0000-0002-3265-7168"},"institutions":[{"id":"https://openalex.org/I94509681","display_name":"Technische Universit\u00e4t Braunschweig","ror":"https://ror.org/010nsgg66","country_code":"DE","type":"education","lineage":["https://openalex.org/I94509681"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Urbat, Henning","raw_affiliation_strings":["Technische Universit\u00e4t Braunschweig, Braunschweig, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Braunschweig, Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5038462111"],"corresponding_institution_ids":["https://openalex.org/I94509681"],"apc_list":null,"apc_paid":null,"fwci":1.0915,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.81580021,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"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.9997000098228455,"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.9997000098228455,"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.9984999895095825,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.996399998664856,"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/syntactic-monoid","display_name":"Syntactic monoid","score":0.8153440952301025},{"id":"https://openalex.org/keywords/monoid","display_name":"Monoid","score":0.7247653007507324},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.6507100462913513},{"id":"https://openalex.org/keywords/quotient","display_name":"Quotient","score":0.6189010143280029},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5561632513999939},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.48198550939559937},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.4467792212963104},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.43556058406829834},{"id":"https://openalex.org/keywords/free-monoid","display_name":"Free monoid","score":0.4238310754299164},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.33191293478012085},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.28858494758605957}],"concepts":[{"id":"https://openalex.org/C119903167","wikidata":"https://www.wikidata.org/wiki/Q3321297","display_name":"Syntactic monoid","level":4,"score":0.8153440952301025},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.7247653007507324},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6507100462913513},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.6189010143280029},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5561632513999939},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.48198550939559937},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.4467792212963104},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.43556058406829834},{"id":"https://openalex.org/C149685015","wikidata":"https://www.wikidata.org/wiki/Q5500266","display_name":"Free monoid","level":3,"score":0.4238310754299164},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.33191293478012085},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.28858494758605957},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:5523","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.1","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:5523","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.1","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W34277805","https://openalex.org/W1501768223","https://openalex.org/W1536629372","https://openalex.org/W1539150709","https://openalex.org/W1560463521","https://openalex.org/W1563309996","https://openalex.org/W1724302595","https://openalex.org/W1998351225","https://openalex.org/W2006066663","https://openalex.org/W2008496712","https://openalex.org/W2052577206","https://openalex.org/W2054801208","https://openalex.org/W2088189323","https://openalex.org/W2090639879","https://openalex.org/W2120713972","https://openalex.org/W2139845245","https://openalex.org/W2326741977","https://openalex.org/W2581102848","https://openalex.org/W2963337840","https://openalex.org/W3121572647"],"related_works":["https://openalex.org/W1563309996","https://openalex.org/W2796050362","https://openalex.org/W2078110241","https://openalex.org/W2423627607","https://openalex.org/W96893434","https://openalex.org/W2043288907","https://openalex.org/W2902657749","https://openalex.org/W3098354336","https://openalex.org/W2755091354","https://openalex.org/W2937921980","https://openalex.org/W2131332712","https://openalex.org/W1564399568","https://openalex.org/W2952651494","https://openalex.org/W2551912401","https://openalex.org/W2547942435","https://openalex.org/W2326842094","https://openalex.org/W3175664114","https://openalex.org/W2019672336","https://openalex.org/W1984808654","https://openalex.org/W2679277576"],"abstract_inverted_index":{"The":[0],"syntactic":[1,28,36,46,55,77,95,138],"monoid":[2],"of":[3,11,24,27,38,48,58,71,79,89,97,108],"a":[4,12,21,68,80,87,90],"language":[5,81],"is":[6,67,102,124],"generalized":[7],"to":[8,104],"the":[9,32,35,45,54,76,94,105,109,118,121,129,134],"level":[10],"symmetric":[13],"monoidal":[14],"closed":[15],"category":[16],"D.":[17,115],"This":[18],"allows":[19],"for":[20,112],"uniform":[22],"treatment":[23],"several":[25],"notions":[26],"algebras":[29,57],"known":[30],"in":[31,114,117],"literature,":[33],"including":[34],"monoids":[37],"Rabin":[39],"and":[40,53,99],"Scott":[41],"(D":[42,50,60],"=":[43,51,61],"sets),":[44],"semirings":[47],"Pol\u00e1k":[49],"semilattices),":[52],"associative":[56],"Reutenauer":[59],"vector":[62],"spaces).":[63],"Assuming":[64],"that":[65,75,100],"D":[66,123],"commutative":[69],"variety":[70,122],"algebras,":[72],"we":[73,127],"prove":[74],"D-monoid":[78,92,107],"L":[82,113],"can":[83],"be":[84],"constructed":[85],"as":[86,132],"quotient":[88],"free":[91],"modulo":[93],"congruence":[96],"L,":[98],"it":[101],"isomorphic":[103],"transition":[106],"minimal":[110],"automaton":[111],"Furthermore,":[116],"case":[119],"where":[120],"locally":[125],"finite,":[126],"characterize":[128],"regular":[130],"languages":[131,135],"precisely":[133],"with":[136],"finite":[137],"D-monoids.":[139]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-28T14:05:53.105641","created_date":"2025-10-10T00:00:00"}