Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario

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 .

Detalles Bibliográficos
Autor principal: Acuña Ortega, Osvaldo
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
id RMTA2101
record_format ojs
spelling RMTA21012022-01-26T18:40:38Z K-finite decidable objects and finite cardinals in an arbitrary topos Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario Acuña Ortega, Osvaldo Topoi K-finite objects decidable objects Teoría de topos objetos K-finitos objetos decidibles In an elemetary topos ε, we prove that the class of K-finite decidable objects is the same to the class of finite cardinals in E if and only if every K-finite decidable object X such that X → 1 is epic, then 1→ X is split epic. 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 . Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA) 2012-02-01 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Article application/pdf https://revistas.ucr.ac.cr/index.php/matematica/article/view/2101 10.15517/rmta.v19i1.2101 Revista de Matemática: Teoría y Aplicaciones; Vol. 19 No. 1 (2012): Revista de Matemática: Teoría y Aplicaciones; 1-6 Revista de Matemática: Teoría y Aplicaciones; Vol. 19 Núm. 1 (2012): Revista de Matemática: Teoría y Aplicaciones; 1-6 Revista de Matemática; Vol. 19 N.º 1 (2012): Revista de Matemática: Teoría y Aplicaciones; 1-6 2215-3373 1409-2433 spa https://revistas.ucr.ac.cr/index.php/matematica/article/view/2101/2064 Derechos de autor 2012 Revista de Matemática: Teoría y Aplicaciones
institution Universidad de Costa Rica
collection Revista de Matemática: Teoría y Aplicaciones
language spa
format Online
author Acuña Ortega, Osvaldo
spellingShingle Acuña Ortega, Osvaldo
Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario
author_facet Acuña Ortega, Osvaldo
author_sort Acuña Ortega, Osvaldo
description 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 .
title Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario
title_short Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario
title_full Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario
title_fullStr Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario
title_full_unstemmed Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario
title_sort objetos k-finitos decidibles y cardinales finitos en un topos arbitrario
title_alt K-finite decidable objects and finite cardinals in an arbitrary topos
publisher Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA)
publishDate 2012
url https://revistas.ucr.ac.cr/index.php/matematica/article/view/2101
work_keys_str_mv AT acunaortegaosvaldo kfinitedecidableobjectsandfinitecardinalsinanarbitrarytopos
AT acunaortegaosvaldo objetoskfinitosdecidiblesycardinalesfinitosenuntoposarbitrario
_version_ 1811744083504267264

Ejemplares similares