{"id":"https://openalex.org/W3158043163","doi":"https://doi.org/10.4230/lipics.calco.2021.6","title":"Which Categories Are Varieties? ((Co)algebraic pearls)","display_name":"Which Categories Are Varieties? ((Co)algebraic pearls)","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3158043163","doi":"https://doi.org/10.4230/lipics.calco.2021.6","mag":"3158043163"},"language":"en","primary_location":{"id":"doi:10.4230/lipics.calco.2021.6","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.calco.2021.6","pdf_url":null,"source":{"id":"https://openalex.org/S4393917817","display_name":"Leibniz international proceedings in informatics","issn_l":"1868-8969","issn":["1868-8969"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"type":"conference-paper","indexed_in":["datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.4230/lipics.calco.2021.6","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Ad\u00e1mek, Ji\u0159\u00ed","orcid":null},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]},{"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"]},{"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":["CZ","DE"],"is_corresponding":false,"raw_author_name":"Ad\u00e1mek, Ji\u0159\u00ed","raw_affiliation_strings":["Department of Mathematics, Czech Technical University in Prague, Czech Republic","Institute of Theoretical Computer Science, Technische Universit\u00e4t Braunschweig, Germany","Department of Mathematics and Statistics, Masaryk University, Faculty of Sciences, Kotl\u00e1\u0159sk\u00e1 2, 611 37, Brno, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Czech Technical University in Prague, Czech Republic","institution_ids":["https://openalex.org/I44504214"]},{"raw_affiliation_string":"Institute of Theoretical Computer Science, Technische Universit\u00e4t Braunschweig, Germany","institution_ids":["https://openalex.org/I94509681"]},{"raw_affiliation_string":"Department of Mathematics and Statistics, Masaryk University, Faculty of Sciences, Kotl\u00e1\u0159sk\u00e1 2, 611 37, Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047280775","display_name":"Ji\u0159\u0131\u0301 Rosick\u00fd","orcid":"https://orcid.org/0000-0002-9733-1222"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Rosick\u00fd, Ji\u0159\u00ed","raw_affiliation_strings":["Department of Mathematics and Statistics, Faculty of Sciences, Masaryk University, Brno, Czech Republic","Department of Mathematics and Statistics, Masaryk University, Faculty of Sciences, Kotl\u00e1\u0159sk\u00e1 2, 611 37, Brno, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, Faculty of Sciences, Masaryk University, Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]},{"raw_affiliation_string":"Department of Mathematics and Statistics, Masaryk University, Faculty of Sciences, Kotl\u00e1\u0159sk\u00e1 2, 611 37, Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.07329738,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9987000226974487,"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.9987000226974487,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.996999979019165,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/mathematics","display_name":"Mathematics","score":0.7636762261390686},{"id":"https://openalex.org/keywords/partially-ordered-set","display_name":"Partially ordered set","score":0.724759578704834},{"id":"https://openalex.org/keywords/star-product","display_name":"Star product","score":0.6913571357727051},{"id":"https://openalex.org/keywords/chain","display_name":"Chain (unit)","score":0.6297000646591187},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5862122178077698},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3314482867717743},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.31759533286094666},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07313862442970276}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7636762261390686},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.724759578704834},{"id":"https://openalex.org/C195800304","wikidata":"https://www.wikidata.org/wiki/Q7601281","display_name":"Star product","level":2,"score":0.6913571357727051},{"id":"https://openalex.org/C199185054","wikidata":"https://www.wikidata.org/wiki/Q552299","display_name":"Chain (unit)","level":2,"score":0.6297000646591187},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5862122178077698},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3314482867717743},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.31759533286094666},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07313862442970276},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4230/lipics.calco.2021.6","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.calco.2021.6","pdf_url":null,"source":{"id":"https://openalex.org/S4393917817","display_name":"Leibniz international proceedings in informatics","issn_l":"1868-8969","issn":["1868-8969"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"doi:10.4230/lipics.calco.2021.6","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.calco.2021.6","pdf_url":null,"source":{"id":"https://openalex.org/S4393917817","display_name":"Leibniz international proceedings in informatics","issn_l":"1868-8969","issn":["1868-8969"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5198741498","display_name":"Injectivity and Monads in Algebra and Topology","funder_award_id":"GA19-00902S","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"}],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1595870841","https://openalex.org/W2002498183","https://openalex.org/W2029827187","https://openalex.org/W2766919188","https://openalex.org/W2962898446","https://openalex.org/W4317437539"],"related_works":["https://openalex.org/W4254064397","https://openalex.org/W3033029084","https://openalex.org/W2957182409","https://openalex.org/W3143802155","https://openalex.org/W2015965805","https://openalex.org/W2789323833","https://openalex.org/W1975173901","https://openalex.org/W4300914096","https://openalex.org/W3131828648","https://openalex.org/W2951380120"],"abstract_inverted_index":{"Categories":[0],"equivalent":[1],"to":[2,84],"single-sorted":[3],"varieties":[4,51],"of":[5,14,21,52,65,76,86],"finitary":[6],"algebras":[7,54],"were":[8],"characterized":[9],"in":[10],"the":[11,29,80],"famous":[12],"dissertation":[13],"Lawvere.":[15],"We":[16],"present":[17],"a":[18,22,69],"new":[19],"proof":[20],"slightly":[23,70],"sharpened":[24],"version:":[25],"those":[26],"are":[27,58],"precisely":[28],"categories":[30],"with":[31],"kernel":[32],"pairs":[33],"and":[34],"reflexive":[35],"coequalizers":[36],"having":[37],"an":[38],"abstractly":[39,78],"finite,":[40,79],"effective":[41],"strong":[42],"generator.":[43],"A":[44],"completely":[45],"analogous":[46],"result":[47,72],"is":[48,73,82],"proved":[49],"for":[50],"many-sorted":[53],"provided":[55],"that":[56],"there":[57],"only":[59],"finitely":[60,87],"many":[61,67],"sorts.":[62],"In":[63],"case":[64],"infinitely":[66],"sorts":[68],"weaker":[71],"presented:":[74],"instead":[75],"being":[77],"generator":[81],"required":[83],"consist":[85],"presentable":[88],"objects.":[89]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-10T00:00:00"}