Buscar
Mostrando ítems 1-1 de 1
K-finite decidable objects and finite cardinals in an arbitrary topos
Objetos K-finitos decidibles y cardinales finitos en un topos arbitrario
(2012-03-08)
In an elemetary topos $\varepsilo$, 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 \longrightarrow 1$ ...