| Revista: | Revista de matemáticas |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000453628 |
| ISSN: | 1409-2433 |
| Autores: | Acuña Ortega, Osvaldo1 |
| Instituciones: | 1Universidad de Costa Rica, Escuela de Matemática, San José. Costa Rica |
| Año: | 2017 |
| Periodo: | Ene-Jun |
| Volumen: | 24 |
| Número: | 1 |
| Paginación: | 1-7 |
| País: | Costa Rica |
| Idioma: | Español |
| Tipo de documento: | Artículo |
| Enfoque: | Aplicado, descriptivo |
| Resumen en español | 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 |
| Resumen en inglés | 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 |
| Disciplinas: | Matemáticas |
| Palabras clave: | Matemáticas aplicadas, Topología, Topos, Objetos k-finitos, Semirretículos, Decidibilidad |
| Keyword: | Applied mathematics, Topology, Topoi, K-finite objects, Semilattice, Decidability |
| Texto completo: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
