http://revistas.ucr.ac.cr/index.php/matematicaRevista de Matemática: Teoría y Aplicaciones ISSN Impreso: 1409-2433 ISSN electrónico: 2215-3373

SEMIRETÍCULOS Y OBJETOS K-FINITOS

OSVALDO ACUÑA ORTEGA



DOI: http://dx.doi.org/10.15517/rmta.v24i1.27745

Resumen


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 adjunto
izquierdo.

Palabras clave


topos; objetos k-finitos; semiretículos; decidibilidad

Texto completo:

PDF

Enlaces refback

  • No hay ningún enlace refback.


© 2017 Universidad de Costa Rica. Para ver más detalles sobre la distribución de los artículos en este sitio visite el aviso legal. Este sitio es desarrollado por UCRIndex y Open Journal Systems.