Topologías sobre conjuntos de funciones
El objeto fundamental de este artículo es presentar condiciones que permitan definir una topología sobre los conjuntos hom(X, Y) de morfismos entre dos objetos de una categoría, que ponga de manifiesto la adjunción imagen directa - imagen inversa. La construcción se hace en primer lugar sobre conjun...
- Autores:
-
Restrepo, Mauricio
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2003
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/73515
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/73515
http://bdigital.unal.edu.co/37991/
- Palabra clave:
- Categorías
Funtores
Topología Compacto-abierta.
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | El objeto fundamental de este artículo es presentar condiciones que permitan definir una topología sobre los conjuntos hom(X, Y) de morfismos entre dos objetos de una categoría, que ponga de manifiesto la adjunción imagen directa - imagen inversa. La construcción se hace en primer lugar sobre conjuntos de funciones continuas, mediante latopología compacto-abierta, luego se generaliza usando un par de colecciones de subconjuntos que son estables por imagen directa e imagen inversa, respectivamente. Finalmente se reemplaza la adjunción imagen directa - imagen inversa por una adjunción general y se muestra que la construcción es posible, a partir de cualquier funtor sobre la categoría de Ore. |
|---|