Open AccessSemiretículos y objetos k-finitos
Author(s) -
Osvaldo Acuña-Ortega
Publication year - 2017
Publication title -
revista de matemática teoría y aplicaciones
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 , art , mathematics , 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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom