Español (pdf)
Articulo en XML
Referencias del artículo
Traducción automática
Enviar articulo por email
Permalink
Mathematics Subject Classification: 03G30, 18B25.
Ver contenido complete en pdf.
Servicios Personalizados
Revista
Articulo
Indicadores
-
Citado por SciELO -
Accesos
Links relacionados
-
Similares en
SciELO
Compartir
Revista de Matemática Teoría y Aplicaciones
versión impresa ISSN 1409-2433
Rev. Mat vol.24 no.1 San José ene./jun. 2017
http://dx.doi.org/10.15517/rmta.v24i1.27745
Artículo
Emiretículos y objetos k-finitos
Semilattices and k-finite objects
1CIMPA, Escuela de Matemática, Universidad de Costa Rica, San José, Costa Rica. E-Mail: maritzaavendanorivera@hotmail.es
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.
Palabras clave: topos; objetos k-finitos; semiretículos; decidibilidad
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
Referencias
Acuña-Ortega, O. (1977) Finiteness in Topoi. Ph. D. Dissertation, Wesleyan University, Middletown, CT. [ Links ]
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: Teoría y Aplicaciones 19(2): 239-245. [ Links ]
Birkhoff, G. (1973) Lattice Theory, 3rd Ed. American Mathematical Society Colloquium Publications, Volume XXV, Providence RI. [ Links ]
Nachbin, L. (1949) “On a characterization of the lattice of all ideals of a Boolean ring”, Fundamenta Mathematicae, 36(1): 137-142. [ Links ]
Recibido: 10 de Septiembre de 2015; Revisado: 09 de Agosto de 2016; Aprobado: 07 de Octubre de 2016
Este es un artículo publicado en acceso abierto bajo una licencia Creative Commons
