Abstract

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

Keywords : Topoi; K-finite objects; decidable objects.

        · abstract in Spanish     · text in Spanish     · Spanish ( pdf )