Semilattices and K-finite objects

 

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφέας: Acuña-Ortega, Osvaldo
Μορφή: artículo original
Κατάσταση:Versión publicada
Ημερομηνία έκδοσης:2017
Περιγραφή: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.
Χώρα:Portal de Revistas UCR
Ίδρυμα:Universidad de Costa Rica
Repositorio:Portal de Revistas UCR
Γλώσσα:Español
OAI Identifier:oai:portal.ucr.ac.cr:article/27745
Διαθέσιμο Online:https://revistas.ucr.ac.cr/index.php/matematica/article/view/27745
Λέξη-Κλειδί :topos
objetos k-finitos
semiretículos
decidibilidad