Objetos k-finitos decidibles y cardinales finitos en un topos abitrario K-finite decidable objcts and finite cardinals in an arbitrary topos

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