Operadores clausura sobre O-categorías
Palabras clave:
Operador de Clausura, O-categoría, funtor, cartesianas categorías cerradas, poset, semántica denotativa (es)Clousure operator, O-category, functor, Cartesian closed categories, poset, denotational semantics (en)
Se presenta una noción de operador clausura sobre O-categorías. Se muestra que si una O-categoría tiene productos, objeto inicial, objetos terminal y exponenciales (bajo continuidad), la categoría de operadores clausura sobre ella, resulta ser una O-categoría y también tiene dichas construcciones. Por último, se demuestra que todo functor localmente continuo sobre una 0- categoría induce, de manera natural, un functor continuo sobre la categoría de operadores clausura.
Cómo citar
APA
ACM
ACS
ABNT
Chicago
Harvard
IEEE
MLA
Turabian
Vancouver
Descargar cita
Visitas a la página del resumen del artículo
Descargas
Licencia
Derechos de autor 2000 Revista Colombiana de Matemáticas
Esta obra está bajo una licencia internacional Creative Commons Atribución 4.0.