A cottage industry of lax extensions

Detalhes bibliográficos
Autor(a) principal: Hofmann, Dirk
Data de Publicação: 2015
Outros Autores: Seal, Gavin J.
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/10773/14899
Resumo: In this work, we describe an adjunction between the comma category of Set-based monads under the V-powerset monad and the category of associative lax extensions of Set-based monads to the category of V-relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations.
id RCAP_546b4be66b6e42d0f9c911d257868d7b
oai_identifier_str oai:ria.ua.pt:10773/14899
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 A cottage industry of lax extensionsMonadLax extensionQuantaleEnriched categoryIn this work, we describe an adjunction between the comma category of Set-based monads under the V-powerset monad and the category of associative lax extensions of Set-based monads to the category of V-relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations.Shahid Beheshti University2015-11-24T11:15:17Z2015-01-01T00:00:00Z2015info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10773/14899eng2345-5853Hofmann, DirkSeal, Gavin J.info: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:RCAAP2024-02-22T11:27:20Zoai:ria.ua.pt:10773/14899Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T02:50:22.025761Repositó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 A cottage industry of lax extensions
title A cottage industry of lax extensions
spellingShingle A cottage industry of lax extensions
Hofmann, Dirk
Monad
Lax extension
Quantale
Enriched category
title_short A cottage industry of lax extensions
title_full A cottage industry of lax extensions
title_fullStr A cottage industry of lax extensions
title_full_unstemmed A cottage industry of lax extensions
title_sort A cottage industry of lax extensions
author Hofmann, Dirk
author_facet Hofmann, Dirk
Seal, Gavin J.
author_role author
author2 Seal, Gavin J.
author2_role author
dc.contributor.author.fl_str_mv Hofmann, Dirk
Seal, Gavin J.
dc.subject.por.fl_str_mv Monad
Lax extension
Quantale
Enriched category
topic Monad
Lax extension
Quantale
Enriched category
description In this work, we describe an adjunction between the comma category of Set-based monads under the V-powerset monad and the category of associative lax extensions of Set-based monads to the category of V-relations. In the process, we give a general construction of the Kleisli extension of a monad to the category of V-relations.
publishDate 2015
dc.date.none.fl_str_mv 2015-11-24T11:15:17Z
2015-01-01T00:00:00Z
2015
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/10773/14899
url http://hdl.handle.net/10773/14899
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 2345-5853
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Shahid Beheshti University
publisher.none.fl_str_mv Shahid Beheshti University
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_ 1799137553774804992

Registros relacionados