Operadores clausura sobre o-categorías
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. P...
- Autores:
-
Gómez Perdomo, Jonatan
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2000
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/43751
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/43751
http://bdigital.unal.edu.co/33849/
- Palabra clave:
- Clousure operator
O-category
functor
Cartesian closed categories
poset
denotational semantics
Operador de Clausura
O-categoría
funtor
cartesianas categorías cerradas
poset
semántica denotativa
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | 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. |
|---|