{"id":"https://openalex.org/W1989749889","doi":"https://doi.org/10.1007/s10485-010-9232-1","title":"Universality of Categories of Coalgebras","display_name":"Universality of Categories of Coalgebras","publication_year":2010,"publication_date":"2010-07-31","ids":{"openalex":"https://openalex.org/W1989749889","doi":"https://doi.org/10.1007/s10485-010-9232-1","mag":"1989749889"},"language":"en","primary_location":{"id":"doi:10.1007/s10485-010-9232-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10485-010-9232-1","pdf_url":null,"source":{"id":"https://openalex.org/S148906134","display_name":"Applied Categorical Structures","issn_l":"0927-2852","issn":["0927-2852","1572-9095"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Categorical Structures","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/A5031559202","display_name":"V\u00e1c\u0142av Koubek","orcid":null},"institutions":[{"id":"https://openalex.org/I4210125404","display_name":"Institute of Theoretical Physics","ror":"https://ror.org/02xtbq882","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210125404"]},{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CN","CZ"],"is_corresponding":true,"raw_author_name":"V\u00e1clav Koubek","raw_affiliation_strings":["Department of Theoretical Computer Science and Mathematical Logic, and Institute of Theoretical Computer Science, The Faculty of Mathematics and Physics, Charles University, Malostransk\u00e9 n\u00e1m. 25, 118 00, Praha 1, Czech Republic","Department of Theoretical Computer Science and Mathematical Logic, and Institute of Theoretical Computer Science, The Faculty of Mathematics and Physics, Charles University, Praha 1, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Theoretical Computer Science and Mathematical Logic, and Institute of Theoretical Computer Science, The Faculty of Mathematics and Physics, Charles University, Malostransk\u00e9 n\u00e1m. 25, 118 00, Praha 1, Czech Republic","institution_ids":["https://openalex.org/I4210125404"]},{"raw_affiliation_string":"Department of Theoretical Computer Science and Mathematical Logic, and Institute of Theoretical Computer Science, The Faculty of Mathematics and Physics, Charles University, Praha 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085964925","display_name":"J. Sichler","orcid":null},"institutions":[{"id":"https://openalex.org/I46247651","display_name":"University of Manitoba","ror":"https://ror.org/02gfys938","country_code":"CA","type":"education","lineage":["https://openalex.org/I46247651"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ji\u0159\u00ed Sichler","raw_affiliation_strings":["Department of Mathematics, University of Manitoba, Winnipeg, Canada, R3T 2N2","Dept. of Mathematics, University of Manitoba, Winnipeg, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Manitoba, Winnipeg, Canada, R3T 2N2","institution_ids":["https://openalex.org/I46247651"]},{"raw_affiliation_string":"Dept. of Mathematics, University of Manitoba, Winnipeg, Canada","institution_ids":["https://openalex.org/I46247651"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073900032","display_name":"V\u011bra Trnkov\u00e1","orcid":null},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"V\u011bra Trnkov\u00e1","raw_affiliation_strings":["Mathematical Institute of Charles University, Sokolovsk\u00e1 83, 186 75, Praha 8, Czech Republic","Mathematical Institute of Charles University, Praha 8, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Mathematical Institute of Charles University, Sokolovsk\u00e1 83, 186 75, Praha 8, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Mathematical Institute of Charles University, Praha 8, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5031559202"],"corresponding_institution_ids":["https://openalex.org/I21250087","https://openalex.org/I4210125404"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08661329,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"19","issue":"6","first_page":"939","last_page":"957"},"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.9980000257492065,"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.9980000257492065,"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.9958000183105469,"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/T11567","display_name":"semigroups and automata theory","score":0.9947999715805054,"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/subcategory","display_name":"Subcategory","score":0.9473813772201538},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8288767337799072},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.8214645385742188},{"id":"https://openalex.org/keywords/universality","display_name":"Universality (dynamical systems)","score":0.7388291954994202},{"id":"https://openalex.org/keywords/concrete-category","display_name":"Concrete category","score":0.5338234901428223},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4840185344219208},{"id":"https://openalex.org/keywords/functor-category","display_name":"Functor category","score":0.47143521904945374},{"id":"https://openalex.org/keywords/cartesian-closed-category","display_name":"Cartesian closed category","score":0.44055718183517456},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.43271946907043457},{"id":"https://openalex.org/keywords/adjoint-functors","display_name":"Adjoint functors","score":0.42595311999320984},{"id":"https://openalex.org/keywords/category-of-sets","display_name":"Category of sets","score":0.41503360867500305},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4061257243156433},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.08095389604568481}],"concepts":[{"id":"https://openalex.org/C2780617661","wikidata":"https://www.wikidata.org/wiki/Q541563","display_name":"Subcategory","level":2,"score":0.9473813772201538},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8288767337799072},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.8214645385742188},{"id":"https://openalex.org/C183992945","wikidata":"https://www.wikidata.org/wiki/Q2495574","display_name":"Universality (dynamical systems)","level":2,"score":0.7388291954994202},{"id":"https://openalex.org/C128520899","wikidata":"https://www.wikidata.org/wiki/Q1575634","display_name":"Concrete category","level":3,"score":0.5338234901428223},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4840185344219208},{"id":"https://openalex.org/C48808802","wikidata":"https://www.wikidata.org/wiki/Q2007878","display_name":"Functor category","level":3,"score":0.47143521904945374},{"id":"https://openalex.org/C171032842","wikidata":"https://www.wikidata.org/wiki/Q1725874","display_name":"Cartesian closed category","level":2,"score":0.44055718183517456},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.43271946907043457},{"id":"https://openalex.org/C153778094","wikidata":"https://www.wikidata.org/wiki/Q357858","display_name":"Adjoint functors","level":3,"score":0.42595311999320984},{"id":"https://openalex.org/C72727785","wikidata":"https://www.wikidata.org/wiki/Q2518298","display_name":"Category of sets","level":3,"score":0.41503360867500305},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4061257243156433},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.08095389604568481},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10485-010-9232-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10485-010-9232-1","pdf_url":null,"source":{"id":"https://openalex.org/S148906134","display_name":"Applied Categorical Structures","issn_l":"0927-2852","issn":["0927-2852","1572-9095"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Applied Categorical Structures","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W36588815","https://openalex.org/W58649214","https://openalex.org/W240203132","https://openalex.org/W565851192","https://openalex.org/W1515233827","https://openalex.org/W1518444163","https://openalex.org/W1537682618","https://openalex.org/W1548663088","https://openalex.org/W1595870841","https://openalex.org/W1968710902","https://openalex.org/W1983437996","https://openalex.org/W1994112140","https://openalex.org/W2030755663","https://openalex.org/W2034283244","https://openalex.org/W2049261036","https://openalex.org/W2088189323","https://openalex.org/W2109600761","https://openalex.org/W2120926795","https://openalex.org/W2281175721","https://openalex.org/W2326155258","https://openalex.org/W2605124223","https://openalex.org/W2606434993","https://openalex.org/W2618896829","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3014746455","https://openalex.org/W2031881225","https://openalex.org/W2132329194","https://openalex.org/W2118517576","https://openalex.org/W4297785125","https://openalex.org/W2531007217","https://openalex.org/W2995917666","https://openalex.org/W1983244685","https://openalex.org/W2492633899","https://openalex.org/W2754614052"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}