Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental

We prove that any elementary topos any objet A such that A + A has an internal choice map, then every subobject of A has complement. We also consider a weaker concept of choice map and we prove that any K−finite decidable objet has this kind of choice map (internally).

Detalhes bibliográficos
Autor: Acuña Ortega, Osvaldo
Formato: artículo
Estado:Versión publicada
Fecha de publicación:2019
País:Costa Rica
Recursos:Universidad de Costa Rica
Repositorio:Portal de Revistas UCR
Idioma:español
OAI Identifier:oai:portal.ucr.ac.cr:article/39391
Acesso em linha:https://revistas.ucr.ac.cr/index.php/matematica/article/view/39391
Access Level:acceso abierto
Palavra-chave:Topoi
finiteness
choice
Teoría de topos
finitud
axioma de elección
id CR_2dc2b8d67d96bd5b172bb42e4b33a143
oai_identifier_str oai:portal.ucr.ac.cr:article/39391
network_acronym_str CR
network_name_str Costa Rica
repository_id_str
spelling Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elementalAlgunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elementalAcuña Ortega, OsvaldoTopoifinitenesschoiceTeoría de toposfinitudaxioma de elecciónWe prove that any elementary topos any objet A such that A + A has an internal choice map, then every subobject of A has complement. We also consider a weaker concept of choice map and we prove that any K−finite decidable objet has this kind of choice map (internally).En este trabajo probamos que en un topos elemental, todo objeto A tal que A + A tiene una función de elección interna, entonces todo subobjeto de A tiene complemento. También consideramos un concepto débil de función de elección y probamos que cualquier objeto K−finito decidible posee una función de elección de este tipo internamente.Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA)2019-10-22info:eu-repo/semantics/publishedVersionArticleartículo originalhttp://purl.org/coar/resource_type/c_2df8fbb1info:eu-repo/semantics/articleapplication/pdfhttps://revistas.ucr.ac.cr/index.php/matematica/article/view/3939110.15517/rmta.v15i2.39391Revista de Matemática: Teoría y Aplicaciones; Vol. 15 No. 2 (2008): Revista de Matemática: Teoría y Aplicaciones; 101-107Revista de Matemática: Teoría y Aplicaciones; Vol. 15 Núm. 2 (2008): Revista de Matemática: Teoría y Aplicaciones; 101-107Revista de Matemática; Vol. 15 N.º 2 (2008): Revista de Matemática: Teoría y Aplicaciones; 101-1072215-33731409-2433reponame:Portal de Revistas UCRinstname:Universidad de Costa Ricainstacron:UCRspahttps://revistas.ucr.ac.cr/index.php/matematica/article/view/39391/40063Derechos de autor 2008 Revista de Matemática: Teoría y Aplicacionesacceso abiertohttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccess2022-01-21T18:39:01Zoai:portal.ucr.ac.cr:article/39391Portal de revistashttps://revistas.ucr.ac.cr/Universidadhttp://www.ucr.ac.crhttps://revistas.ucr.ac.cr/index.php/index/oaijorge.polanco@ucr.ac.crCosta RicaNo aplicaNo aplicaNo aplicaopendoar:2025-08-13T09:46:13.310Portal de Revistas UCR - Universidad de Costa Ricafalse
dc.title.none.fl_str_mv Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
title Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
spellingShingle Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
Acuña Ortega, Osvaldo
Topoi
finiteness
choice
Teoría de topos
finitud
axioma de elección
title_short Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
title_full Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
title_fullStr Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
title_full_unstemmed Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
title_sort Algunas consideraciones sobre un Teorema de Benabou de Booleanidad de un topos elemental
dc.creator.none.fl_str_mv Acuña Ortega, Osvaldo
author Acuña Ortega, Osvaldo
author_facet Acuña Ortega, Osvaldo
author_role author
dc.subject.none.fl_str_mv Topoi
finiteness
choice
Teoría de topos
finitud
axioma de elección
topic Topoi
finiteness
choice
Teoría de topos
finitud
axioma de elección
description We prove that any elementary topos any objet A such that A + A has an internal choice map, then every subobject of A has complement. We also consider a weaker concept of choice map and we prove that any K−finite decidable objet has this kind of choice map (internally).
publishDate 2019
dc.date.none.fl_str_mv 2019-10-22
dc.type.none.fl_str_mv info:eu-repo/semantics/publishedVersion
Article
artículo original
http://purl.org/coar/resource_type/c_2df8fbb1
info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv https://revistas.ucr.ac.cr/index.php/matematica/article/view/39391
10.15517/rmta.v15i2.39391
url https://revistas.ucr.ac.cr/index.php/matematica/article/view/39391
identifier_str_mv 10.15517/rmta.v15i2.39391
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv https://revistas.ucr.ac.cr/index.php/matematica/article/view/39391/40063
dc.rights.none.fl_str_mv Derechos de autor 2008 Revista de Matemática: Teoría y Aplicaciones
acceso abierto
http://purl.org/coar/access_right/c_abf2
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Derechos de autor 2008 Revista de Matemática: Teoría y Aplicaciones
acceso abierto
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA)
publisher.none.fl_str_mv Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA)
dc.source.none.fl_str_mv Revista de Matemática: Teoría y Aplicaciones; Vol. 15 No. 2 (2008): Revista de Matemática: Teoría y Aplicaciones; 101-107
Revista de Matemática: Teoría y Aplicaciones; Vol. 15 Núm. 2 (2008): Revista de Matemática: Teoría y Aplicaciones; 101-107
Revista de Matemática; Vol. 15 N.º 2 (2008): Revista de Matemática: Teoría y Aplicaciones; 101-107
2215-3373
1409-2433
reponame:Portal de Revistas UCR
instname:Universidad de Costa Rica
instacron:UCR
instname_str Universidad de Costa Rica
instacron_str UCR
institution UCR
reponame_str Portal de Revistas UCR
collection Portal de Revistas UCR
repository.name.fl_str_mv Portal de Revistas UCR - Universidad de Costa Rica
repository.mail.fl_str_mv jorge.polanco@ucr.ac.cr
_version_ 1849325289316810752
score 15,812429

Registos relacionados