Semiretículos y objetos k-finitos

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.

Bibliographic Details
Main Author:	Acuña-Ortega, Osvaldo
Format:	Online
Language:	spa
Published:	Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA) 2017
Online Access:	https://revistas.ucr.ac.cr/index.php/matematica/article/view/27745

id	RMTA27745
record_format	ojs
spelling	RMTA277452022-01-31T18:12:27Z Semilattices and K-finite objects Semiretículos y objetos k-finitos Acuña-Ortega, Osvaldo topos objetos k-finitos semiretículos decidibilidad 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. 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. Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA) 2017-01-25 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Article application/pdf https://revistas.ucr.ac.cr/index.php/matematica/article/view/27745 10.15517/rmta.v24i1.27745 Revista de Matemática: Teoría y Aplicaciones; Vol. 24 No. 1 (2017): Revista de Matemática: Teoría y Aplicaciones; 1-7 Revista de Matemática: Teoría y Aplicaciones; Vol. 24 Núm. 1 (2017): Revista de Matemática: Teoría y Aplicaciones; 1-7 Revista de Matemática; Vol. 24 N.º 1 (2017): Revista de Matemática: Teoría y Aplicaciones; 1-7 2215-3373 1409-2433 spa https://revistas.ucr.ac.cr/index.php/matematica/article/view/27745/27950 Derechos de autor 2017 Revista de Matemática: Teoría y Aplicaciones
institution	Universidad de Costa Rica
collection	Revista de Matemática: Teoría y Aplicaciones
language	spa
format	Online
author	Acuña-Ortega, Osvaldo
spellingShingle	Acuña-Ortega, Osvaldo Semiretículos y objetos k-finitos
author_facet	Acuña-Ortega, Osvaldo
author_sort	Acuña-Ortega, Osvaldo
description	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.
title	Semiretículos y objetos k-finitos
title_short	Semiretículos y objetos k-finitos
title_full	Semiretículos y objetos k-finitos
title_fullStr	Semiretículos y objetos k-finitos
title_full_unstemmed	Semiretículos y objetos k-finitos
title_sort	semiretículos y objetos k-finitos
title_alt	Semilattices and K-finite objects
publisher	Universidad de Costa Rica, Centro de Investigación en Matemática Pura y Aplicada (CIMPA)
publishDate	2017
url	https://revistas.ucr.ac.cr/index.php/matematica/article/view/27745
work_keys_str_mv	AT acunaortegaosvaldo semilatticesandkfiniteobjects AT acunaortegaosvaldo semireticulosyobjetoskfinitos
_version_	1811744096707936256

Semiretículos y objetos k-finitos

Similar Items