k-finite decidable objects and finite cardinals in an arbitrary topos
Osvaldo AcuOrtega · Dialnet (Universidad de la Rioja) · 2012
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.