| Journal: | Revista de matemáticas |
| Database: | PERIÓDICA |
| System number: | 000453628 |
| ISSN: | 1409-2433 |
| Authors: | Acuña Ortega, Osvaldo1 |
| Institutions: | 1Universidad de Costa Rica, Escuela de Matemática, San José. Costa Rica |
| Year: | 2017 |
| Season: | Ene-Jun |
| Volumen: | 24 |
| Number: | 1 |
| Pages: | 1-7 |
| Country: | Costa Rica |
| Language: | Español |
| Document type: | Artículo |
| Approach: | Aplicado, descriptivo |
| Spanish abstract | 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 |
| English abstract | 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 |
| Disciplines: | Matemáticas |
| Keyword: | Matemáticas aplicadas, Topología, Topos, Objetos k-finitos, Semirretículos, Decidibilidad |
| Keyword: | Applied mathematics, Topology, Topoi, K-finite objects, Semilattice, Decidability |
| Full text: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
