ResumenSe 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.