Resumen
Se prueba que si X es un objeto de un topos elemental entonces las propiedades siguientes son equivalentes: (a) X es K-finito, (b) para todo semiretículo con uniones binarias B, la diagonal B→ BX tiene un adjunto
izquierdo.
Citas
Acuña–Ortega, O. (1977) Finiteness in Topoi. Ph. D. Dissertation, Wesleyan University, Middletown, CT.
Acuña–Ortega, O. (2011) “Una nota sobre objetos k-finitos en un topos Booleano con el objeto de los números naturales”, Revista de Matemática: Teoría y Aplicaciones 19(2): 239–245.
Birkhoff, G. (1973) Lattice Theory, 3rd Ed. American Mathematical Society Colloquium Publications, Volume XXV, Providence RI.
Nachbin, L. (1949) “On a characterization of the lattice of all ideals of a Boolean ring”, Fundamenta Mathematicae, 36(1): 137–142.