Open AccessSemiretículos y objetos k-finitos
Author(s) -
Osvaldo Acuña Ortega
Publication year - 2017
Publication title -
revista de matemáticas
Language(s) - Spanish
Resource type - Journals
eISSN - 2215-3373
pISSN - 1409-2433
DOI - 10.15517/rmta.v24i1.27745
Subject(s) - topos theory , diagonal , physics , humanities , computer science , mathematics , art , geometry , literature
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.