Well-Pointed Coalgebras

Detalhes bibliográficos
Autor(a) principal: Adámek, Jiří
Data de Publicação: 2013
Outros Autores: Milius, Stefan, Moss, Lawrence S., Sousa, Lurdes
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10316/43898
https://doi.org/10.2168/LMCS-9(3:2)2013
Resumo: For endofunctors of varieties preserving intersections, a new description of the final coalgebra and the initial algebra is presented: the former consists of all well-pointed coalgebras. These are the pointed coalgebras having no proper subobject and no proper quotient. The initial algebra consists of all well-pointed coalgebras that are well-founded in the sense of Osius and Taylor. And initial algebras are precisely the final well-founded coalgebras. Finally, the initial iterative algebra consists of all finite well-pointed coalgebras. Numerous examples are discussed e.g. automata, graphs, and labeled transition systems.
id RCAP_bc0e7cd99904e66269a0d35156576b54
oai_identifier_str oai:estudogeral.uc.pt:10316/43898
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Well-Pointed CoalgebrasFor endofunctors of varieties preserving intersections, a new description of the final coalgebra and the initial algebra is presented: the former consists of all well-pointed coalgebras. These are the pointed coalgebras having no proper subobject and no proper quotient. The initial algebra consists of all well-pointed coalgebras that are well-founded in the sense of Osius and Taylor. And initial algebras are precisely the final well-founded coalgebras. Finally, the initial iterative algebra consists of all finite well-pointed coalgebras. Numerous examples are discussed e.g. automata, graphs, and labeled transition systems.Logical Methods in Computer Science e. V.2013-08-09info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://hdl.handle.net/10316/43898http://hdl.handle.net/10316/43898https://doi.org/10.2168/LMCS-9(3:2)2013https://doi.org/10.2168/LMCS-9(3:2)2013enghttps://arxiv.org/pdf/1305.0576.pdfAdámek, JiříMilius, StefanMoss, Lawrence S.Sousa, Lurdesinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2021-09-30T09:59:15Zoai:estudogeral.uc.pt:10316/43898Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T20:53:29.757591Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Well-Pointed Coalgebras
title Well-Pointed Coalgebras
spellingShingle Well-Pointed Coalgebras
Adámek, Jiří
title_short Well-Pointed Coalgebras
title_full Well-Pointed Coalgebras
title_fullStr Well-Pointed Coalgebras
title_full_unstemmed Well-Pointed Coalgebras
title_sort Well-Pointed Coalgebras
author Adámek, Jiří
author_facet Adámek, Jiří
Milius, Stefan
Moss, Lawrence S.
Sousa, Lurdes
author_role author
author2 Milius, Stefan
Moss, Lawrence S.
Sousa, Lurdes
author2_role author
author
author
dc.contributor.author.fl_str_mv Adámek, Jiří
Milius, Stefan
Moss, Lawrence S.
Sousa, Lurdes
description For endofunctors of varieties preserving intersections, a new description of the final coalgebra and the initial algebra is presented: the former consists of all well-pointed coalgebras. These are the pointed coalgebras having no proper subobject and no proper quotient. The initial algebra consists of all well-pointed coalgebras that are well-founded in the sense of Osius and Taylor. And initial algebras are precisely the final well-founded coalgebras. Finally, the initial iterative algebra consists of all finite well-pointed coalgebras. Numerous examples are discussed e.g. automata, graphs, and labeled transition systems.
publishDate 2013
dc.date.none.fl_str_mv 2013-08-09
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10316/43898
http://hdl.handle.net/10316/43898
https://doi.org/10.2168/LMCS-9(3:2)2013
https://doi.org/10.2168/LMCS-9(3:2)2013
url http://hdl.handle.net/10316/43898
https://doi.org/10.2168/LMCS-9(3:2)2013
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv https://arxiv.org/pdf/1305.0576.pdf
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Logical Methods in Computer Science e. V.
publisher.none.fl_str_mv Logical Methods in Computer Science e. V.
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799133821608656896

Registros relacionados