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