{"id":"https://openalex.org/W1969854456","doi":"https://doi.org/10.1016/s1571-0661(05)80355-x","title":"On Corelations, Cokernels, and Coequations","display_name":"On Corelations, Cokernels, and Coequations","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W1969854456","doi":"https://doi.org/10.1016/s1571-0661(05)80355-x","mag":"1969854456"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80355-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80355-x","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80355-x","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002924404","display_name":"Uwe Wolter","orcid":"https://orcid.org/0000-0002-7553-9858"},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Uwe Wolter","raw_affiliation_strings":["FB Informatik Technische Universit\u00e4t Berlin 10587 Berlin, Germany","FB Informatik, Technische Universit\u00e4t Berlin, 10587 Berlin, Germany"],"affiliations":[{"raw_affiliation_string":"FB Informatik Technische Universit\u00e4t Berlin 10587 Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]},{"raw_affiliation_string":"FB Informatik, Technische Universit\u00e4t Berlin, 10587 Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5002924404"],"corresponding_institution_ids":["https://openalex.org/I4577782"],"apc_list":null,"apc_paid":null,"fwci":1.0253,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.81371868,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"33","issue":null,"first_page":"317","last_page":"336"},"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.9983000159263611,"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.9983000159263611,"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/T10142","display_name":"Formal Methods in Verification","score":0.9966999888420105,"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.9941999912261963,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.8811061382293701},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6432767510414124},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.606201171875},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.5952752232551575},{"id":"https://openalex.org/keywords/dual","display_name":"Dual (grammatical number)","score":0.5799952745437622},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.5770513415336609},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5739720463752747},{"id":"https://openalex.org/keywords/duality","display_name":"Duality (order theory)","score":0.4966283440589905},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.47508302330970764},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.40483808517456055},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2705587148666382},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16559967398643494},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.059740424156188965}],"concepts":[{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.8811061382293701},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6432767510414124},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.606201171875},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5952752232551575},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.5799952745437622},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.5770513415336609},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5739720463752747},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.4966283440589905},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.47508302330970764},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.40483808517456055},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2705587148666382},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16559967398643494},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.059740424156188965},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80355-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80355-x","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80355-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80355-x","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W8556814","https://openalex.org/W87506586","https://openalex.org/W132152209","https://openalex.org/W1503860275","https://openalex.org/W2012007202","https://openalex.org/W2029017938","https://openalex.org/W2040125385","https://openalex.org/W2056743217","https://openalex.org/W2141746437","https://openalex.org/W2149949146","https://openalex.org/W2613512071","https://openalex.org/W2798613517","https://openalex.org/W6600331776","https://openalex.org/W6605308106","https://openalex.org/W6630053663","https://openalex.org/W6672560806","https://openalex.org/W7053504691"],"related_works":["https://openalex.org/W4386799044","https://openalex.org/W2773208253","https://openalex.org/W2560646951","https://openalex.org/W4297454206","https://openalex.org/W65104662","https://openalex.org/W1871748041","https://openalex.org/W2362286668","https://openalex.org/W3122644328","https://openalex.org/W2164080590","https://openalex.org/W1019837216"],"abstract_inverted_index":{"In":[0],"the":[1,15,87],"paper":[2],"we":[3,42,65],"develop":[4,69],"a":[5,24,38,46,51,79],"new":[6],"concept":[7,80,88],"of":[8,28,55,81,89],"specification":[9,83,91],"for":[10,57,70],"coalgebras":[11,56],"strictly":[12,84],"based":[13],"on":[14],"duality":[16],"between":[17],"algebras":[18,78],"and":[19,32],"coalgebras.":[20],"We":[21],"firstly":[22],"present":[23,50],"systematic":[25],"categorical":[26],"analysis":[27],"basic":[29],"concepts,":[30],"constructions,":[31],"results":[33],"in":[34,45,92],"Universal":[35,93],"Algebra.":[36,94],"By":[37],"simple":[39],"formal":[40],"dualization":[41],"are":[43,66],"able,":[44],"second":[47],"step,":[48],"to":[49,68,86],"kernel":[52],"model":[53],"theory":[54],"arbitrary":[58],"functors":[59,71],"T:":[60,72],"Set":[61,73,75],"\u2192":[62,74],"Set.":[63],"Moreover,":[64],"able":[67],"with":[76],"cofree":[77],"coequational":[82],"dual":[85],"equational":[90]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}