Sobre una definición de cardinales finitos en un topos arbitrario

En este artículo introducimos una definición de cardinal finito en un topos E arbitrario y probamos que ésta es equivalente a la definición de cardinal finito en el caso de que E tenga el objeto de los números naturales (ver Definición 6.21 de (P.J.T.)). Aún más probaremos que la categoría llena de...

Full description

Autores:
Acuña Ortega, Osvaldo
Tipo de recurso:
Article of journal
Fecha de publicación:
1986
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/48844
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/48844
http://bdigital.unal.edu.co/42301/
Palabra clave:
Cardinal finito
topos
números naturales Fred Linton
Teorema
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_2e5b6d88e56a8441c11c07944c68fc25
oai_identifier_str oai:repositorio.unal.edu.co:unal/48844
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Acuña Ortega, Osvaldo3c89e03a-8b4f-4ef7-95f5-2089d22c4ec63002019-06-29T08:08:55Z2019-06-29T08:08:55Z1986https://repositorio.unal.edu.co/handle/unal/48844http://bdigital.unal.edu.co/42301/En este artículo introducimos una definición de cardinal finito en un topos E arbitrario y probamos que ésta es equivalente a la definición de cardinal finito en el caso de que E tenga el objeto de los números naturales (ver Definición 6.21 de (P.J.T.)). Aún más probaremos que la categoría llena de estos objetos forman un topos con el axioma de selección. Antes necesitamos algunas definiciones y resultados preliminares. No puedo continuar sin dar mi más sincero agradecimiento a Fred Linton, cuyas observaciones y sugerencias han sido centrales en este artículo, especialmente en la prueba del último teorema.application/pdfspaUniversidad Nacuional de Colombia; Sociedad Colombiana de matemáticashttp://revistas.unal.edu.co/index.php/recolma/article/view/32671Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de MatemáticasRevista Colombiana de MatemáticasRevista Colombiana de Matemáticas; Vol. 20, núm. 3-4 (1986); 79-104 2357-4100 0034-7426Acuña Ortega, Osvaldo (1986) Sobre una definición de cardinales finitos en un topos arbitrario. Revista Colombiana de Matemáticas; Vol. 20, núm. 3-4 (1986); 79-104 2357-4100 0034-7426 .Sobre una definición de cardinales finitos en un topos arbitrarioArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTCardinal finitotoposnúmeros naturales Fred LintonTeoremaORIGINAL32671-120912-1-PB.pdfapplication/pdf6665025https://repositorio.unal.edu.co/bitstream/unal/48844/1/32671-120912-1-PB.pdfa8dbe187b45f1e3fa109af59ec7090beMD51THUMBNAIL32671-120912-1-PB.pdf.jpg32671-120912-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg6580https://repositorio.unal.edu.co/bitstream/unal/48844/2/32671-120912-1-PB.pdf.jpgbf6b17af2d4e2a6e0a938f1224752f7bMD52unal/48844oai:repositorio.unal.edu.co:unal/488442022-11-12 23:03:46.578Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Sobre una definición de cardinales finitos en un topos arbitrario
title Sobre una definición de cardinales finitos en un topos arbitrario
spellingShingle Sobre una definición de cardinales finitos en un topos arbitrario
Cardinal finito
topos
números naturales Fred Linton
Teorema
title_short Sobre una definición de cardinales finitos en un topos arbitrario
title_full Sobre una definición de cardinales finitos en un topos arbitrario
title_fullStr Sobre una definición de cardinales finitos en un topos arbitrario
title_full_unstemmed Sobre una definición de cardinales finitos en un topos arbitrario
title_sort Sobre una definición de cardinales finitos en un topos arbitrario
dc.creator.fl_str_mv Acuña Ortega, Osvaldo
dc.contributor.author.spa.fl_str_mv Acuña Ortega, Osvaldo
dc.subject.proposal.spa.fl_str_mv Cardinal finito
topos
números naturales Fred Linton
Teorema
topic Cardinal finito
topos
números naturales Fred Linton
Teorema
description En este artículo introducimos una definición de cardinal finito en un topos E arbitrario y probamos que ésta es equivalente a la definición de cardinal finito en el caso de que E tenga el objeto de los números naturales (ver Definición 6.21 de (P.J.T.)). Aún más probaremos que la categoría llena de estos objetos forman un topos con el axioma de selección. Antes necesitamos algunas definiciones y resultados preliminares. No puedo continuar sin dar mi más sincero agradecimiento a Fred Linton, cuyas observaciones y sugerencias han sido centrales en este artículo, especialmente en la prueba del último teorema.
publishDate 1986
dc.date.issued.spa.fl_str_mv 1986
dc.date.accessioned.spa.fl_str_mv 2019-06-29T08:08:55Z
dc.date.available.spa.fl_str_mv 2019-06-29T08:08:55Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/48844
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/42301/
url https://repositorio.unal.edu.co/handle/unal/48844
http://bdigital.unal.edu.co/42301/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/recolma/article/view/32671
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas
Revista Colombiana de Matemáticas
dc.relation.ispartofseries.none.fl_str_mv Revista Colombiana de Matemáticas; Vol. 20, núm. 3-4 (1986); 79-104 2357-4100 0034-7426
dc.relation.references.spa.fl_str_mv Acuña Ortega, Osvaldo (1986) Sobre una definición de cardinales finitos en un topos arbitrario. Revista Colombiana de Matemáticas; Vol. 20, núm. 3-4 (1986); 79-104 2357-4100 0034-7426 .
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Universidad Nacuional de Colombia; Sociedad Colombiana de matemáticas
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/48844/1/32671-120912-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/48844/2/32671-120912-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv a8dbe187b45f1e3fa109af59ec7090be
bf6b17af2d4e2a6e0a938f1224752f7b
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089191583121408