Una nota sobre objetos k-finitos en un topos booleano con el objeto de los números naturales A note on k-finite objects in a Boolean topos with the natural numbers object

Probamos que todo objeto k-finito en un topos booleano con el objeto de los números naturales es internamente el cociente de algún cardinal finito. We prove that every k-finite object in a boolean topos with natural number object is internally the quotient of a natural number object.