SEMILATTICES AND K-FINITE OBJECTS
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.
| 1. Verfasser: | |
|---|---|
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
Universidad de Costa Rica
2017-01-01
|
| Schriftenreihe: | Revista de Matemática: Teoría y Aplicaciones |
| Schlagworte: | |
| Online Zugang: | https://revistas.ucr.ac.cr/index.php/matematica/article/view/27745 |