SciELO - Scientific Electronic Library Online

 
vol.24 issue1Direct limits of lie algebroids prolongations author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand

Journal

Article

Indicators

Related links

  • Have no similar articlesSimilars in SciELO

Share


Revista de Matemática Teoría y Aplicaciones

Print version ISSN 1409-2433

Abstract

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.

Keywords : topoi; k-finite objects; semilattice; decidability.

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