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

Full description

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
Description
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.