Semiretículos y objetos k-finitos
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 adjuntoizquierdo.
| Main Author: | |
|---|---|
| Format: | Online |
| Language: | spa |
| Published: |
Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA)
2017
|
| Online Access: | https://revistas.ucr.ac.cr/index.php/matematica/article/view/27745 |
| Summary: | 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 adjuntoizquierdo. |
|---|