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
الوصول للمادة أونلاين:https://revistas.ucr.ac.cr/index.php/matematica/article/view/27745
كلمة مفتاحية:topos
objetos k-finitos
semiretículos
decidibilidad