Abstract

ACUNA-ORTEGA, Osvaldo. Emiretículos y objetos k-finitos. Rev. Mat [online]. 2017, vol.24, n.1, pp.1-7. ISSN 1409-2433.  http://dx.doi.org/10.15517/rmta.v24i1.27745.

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.

Keywords : topos; objetos k-finitos; semiretículos; decidibilidad.

        · abstract in English     · text in Spanish     · Spanish ( pdf )