Resumen de Semiretículos y objetos k-finitos
- español
Se prueba que si X es un objeto de un topos elemental entonces laspropiedades siguientes son equivalentes: (a) X es K-finito, (b) para todosemiretículo con uniones binarias B, la diagonal B→ BX tiene un adjuntoizquierdo.
- English
We prove that for X Є ǀ E ǀ, E elementary topos, the following propertiesare equivalent: (a) X is K-finite, (b) for every upper semilattice B,the diagonal B → BX has a left adjoint.
