Semiretículos y objetos k-finitos

• Autores: Osvaldo Acuña
• Localización: Revista de Matemática: Teoría y Aplicaciones, ISSN 2215-3373, ISSN-e 2215-3373, Vol. 24, Nº. 1, 2017, págs. 1-7
• Idioma: español
• DOI: 10.15517/rmta.v24i1.27745
• Títulos paralelos:
  • Semilattices and k-finite objects
• Enlaces
  • Texto completo (pdf)
• Resumen
  • 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.

• Referencias bibliográficas
  • Acuña–Ortega, O. (1977) Finiteness in Topoi. Ph. D. Dissertation, Wesleyan University, Middletown, CT.
  • Acuña–Ortega, O. (2011) “Una nota sobre objetos k-finitos en un topos Booleano con el objeto de los números naturales”, Revista de Matemática:...
  • Birkhoff, G. (1973) Lattice Theory, 3rd Ed. American Mathematical Society Colloquium Publications, Volume XXV, Providence RI.
  • Nachbin, L. (1949) “On a characterization of the lattice of all ideals of a Boolean ring”, Fundamenta Mathematicae, 36(1): 137–142.