Resumo

ACUNA ORTEGA, Osvaldo. K-finite decidable objcts and finite cardinals in an arbitrary topos. Rev. Mat [online]. 2012, vol.19, n.1, pp.1-6. ISSN 1409-2433.

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

Palavras-chave : Topoi; K-finite objects; decidable objects.

        · resumo em Espanhol     · texto em Espanhol     · Espanhol ( pdf )