Exponentiation in V-categories

Detalhes bibliográficos
Autor(a) principal: Clementino, Maria Manuel
Data de Publicação: 2006
Outros Autores: Hofmann, Dirk
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/4614
https://doi.org/10.2307/2974855
Resumo: For a Heyting algebra V which, as a category, is monoidal closed, we obtain characterizations of exponentiable objects and morphisms in the category of V-categories and apply them to some well-known examples. In the case these characterizations of exponentiable morphisms and objects in the categories (P)Met of (pre)metric spaces and non-expansive maps show in particular that exponentiable metric spaces are exactly the almost convex metric spaces, while exponentiable complete metric spaces are the complete totally convex ones.
id RCAP_4e370661ce4758f7c4ea2c60386df74e
oai_identifier_str oai:estudogeral.uc.pt:10316/4614
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 Exponentiation in V-categoriesExponentiable objectExponentiable morphismV-categoryPremetric spaceAlmost convex metric spaceTotally convex metric spaceFor a Heyting algebra V which, as a category, is monoidal closed, we obtain characterizations of exponentiable objects and morphisms in the category of V-categories and apply them to some well-known examples. In the case these characterizations of exponentiable morphisms and objects in the categories (P)Met of (pre)metric spaces and non-expansive maps show in particular that exponentiable metric spaces are exactly the almost convex metric spaces, while exponentiable complete metric spaces are the complete totally convex ones.http://www.sciencedirect.com/science/article/B6V1K-4GYH7FT-1/1/440d88b88811e29112fc189c682537b32006info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleaplication/PDFhttp://hdl.handle.net/10316/4614http://hdl.handle.net/10316/4614https://doi.org/10.2307/2974855engTopology and its Applications. 153:16 (2006) 3113-3128Clementino, Maria ManuelHofmann, Dirkinfo: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:RCAAP2020-11-06T17:00:26Zoai:estudogeral.uc.pt:10316/4614Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:00:41.644238Repositó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 Exponentiation in V-categories
title Exponentiation in V-categories
spellingShingle Exponentiation in V-categories
Clementino, Maria Manuel
Exponentiable object
Exponentiable morphism
V-category
Premetric space
Almost convex metric space
Totally convex metric space
title_short Exponentiation in V-categories
title_full Exponentiation in V-categories
title_fullStr Exponentiation in V-categories
title_full_unstemmed Exponentiation in V-categories
title_sort Exponentiation in V-categories
author Clementino, Maria Manuel
author_facet Clementino, Maria Manuel
Hofmann, Dirk
author_role author
author2 Hofmann, Dirk
author2_role author
dc.contributor.author.fl_str_mv Clementino, Maria Manuel
Hofmann, Dirk
dc.subject.por.fl_str_mv Exponentiable object
Exponentiable morphism
V-category
Premetric space
Almost convex metric space
Totally convex metric space
topic Exponentiable object
Exponentiable morphism
V-category
Premetric space
Almost convex metric space
Totally convex metric space
description For a Heyting algebra V which, as a category, is monoidal closed, we obtain characterizations of exponentiable objects and morphisms in the category of V-categories and apply them to some well-known examples. In the case these characterizations of exponentiable morphisms and objects in the categories (P)Met of (pre)metric spaces and non-expansive maps show in particular that exponentiable metric spaces are exactly the almost convex metric spaces, while exponentiable complete metric spaces are the complete totally convex ones.
publishDate 2006
dc.date.none.fl_str_mv 2006
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/4614
http://hdl.handle.net/10316/4614
https://doi.org/10.2307/2974855
url http://hdl.handle.net/10316/4614
https://doi.org/10.2307/2974855
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Topology and its Applications. 153:16 (2006) 3113-3128
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv aplication/PDF
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_ 1799133897137586176

Registros relacionados