Resumen

ACUNA-ORTEGA, Osvaldo. Semilattices and k-finite objects. Rev. Mat [online]. 2017, vol.24, n.1, pp.1-7. ISSN 1409-2433.  http://dx.doi.org/10.15517/rmta.v24i1.27745.

We prove that for X ϵ ǀEǀ, E elementary topos, the following properties are equivalent: (a) X is K−finite, (b) for every upper semilattice B, the diagonal B →BX has a left adjoint.

Palabras clave : topoi; k-finite objects; semilattice; decidability.

        · resumen en Español     · texto en Español     · Español ( pdf )