info:eu-repo/semantics/article
Objetos k-finitos decidibles y cardinales finitos en un topos abitrario
Autor
Acuña Ortega,Osvaldo
Institución
Resumen
Probamos en un topo arbitrario que la clase de los objetos Kfinitos 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