O. Acuña Ortega, “K-finite decidable objects and finite cardinals in an arbitrary topos”, Rev. mat. (En línea), vol. 19, no. 1, pp. 1–6, Feb. 2012.