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...
- 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 |