Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario
Probamos en un topo arbitrario que la clase de los objetos K-finitos decidibles es igual a la clase de los cardinales finitos de E si y solo si todo X K-finito decidible tal que X → 1 un epimorfismo si y solo si X → 1 es tal que tiene una sección 1→ X .
| Autor principal: | |
|---|---|
| Formato: | Online |
| Idioma: | spa |
| Publicado: |
Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA)
2012
|
| Acceso en línea: | https://revistas.ucr.ac.cr/index.php/matematica/article/view/2101 |
| Sumario: | Probamos en un topo arbitrario que la clase de los objetos K-finitos decidibles es igual a la clase de los cardinales finitos de E si y solo si todo X K-finito decidible tal que X → 1 un epimorfismo si y solo si X → 1 es tal que tiene una sección 1→ X . |
|---|