Finitely Presentable Algebras For Finitary Monads

Detalhes bibliográficos
Autor(a) principal: Adámek, Jiří
Data de Publicação: 2019
Outros Autores: Milius, Stefan, Sousa, Lurdes, Wissmann, Thorsten
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/89490
Resumo: For finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from general algebra: they are precisely the algebras presentable by finitely many generators and finitely many relations.
id RCAP_e8a44db5c336304a3da08ee752f883b4
oai_identifier_str oai:estudogeral.uc.pt:10316/89490
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 Finitely Presentable Algebras For Finitary MonadsFinitely presentable object, finitely generated object, finitary functor, regular monadFor finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from general algebra: they are precisely the algebras presentable by finitely many generators and finitely many relations.2019info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://hdl.handle.net/10316/89490http://hdl.handle.net/10316/89490eng1201 - 561XAdámek, JiříMilius, StefanSousa, LurdesWissmann, Thorsteninfo: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:RCAAP2022-05-25T01:36:25Zoai:estudogeral.uc.pt:10316/89490Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:09:47.164116Repositó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 Finitely Presentable Algebras For Finitary Monads
title Finitely Presentable Algebras For Finitary Monads
spellingShingle Finitely Presentable Algebras For Finitary Monads
Adámek, Jiří
Finitely presentable object, finitely generated object, finitary functor, regular monad
title_short Finitely Presentable Algebras For Finitary Monads
title_full Finitely Presentable Algebras For Finitary Monads
title_fullStr Finitely Presentable Algebras For Finitary Monads
title_full_unstemmed Finitely Presentable Algebras For Finitary Monads
title_sort Finitely Presentable Algebras For Finitary Monads
author Adámek, Jiří
author_facet Adámek, Jiří
Milius, Stefan
Sousa, Lurdes
Wissmann, Thorsten
author_role author
author2 Milius, Stefan
Sousa, Lurdes
Wissmann, Thorsten
author2_role author
author
author
dc.contributor.author.fl_str_mv Adámek, Jiří
Milius, Stefan
Sousa, Lurdes
Wissmann, Thorsten
dc.subject.por.fl_str_mv Finitely presentable object, finitely generated object, finitary functor, regular monad
topic Finitely presentable object, finitely generated object, finitary functor, regular monad
description For finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from general algebra: they are precisely the algebras presentable by finitely many generators and finitely many relations.
publishDate 2019
dc.date.none.fl_str_mv 2019
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/89490
http://hdl.handle.net/10316/89490
url http://hdl.handle.net/10316/89490
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 1201 - 561X
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
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_ 1799133992920809473

Registros relacionados