Abstract

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

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call