Categoría de espacios topológicos

Este artículo o sección necesita referencias que aparezcan en una publicación acreditada. Busca fuentes: «Categoría de espacios topológicos» – noticias · libros · académico · imágenes Este aviso fue puesto el 9 de agosto de 2010.

Este artículo o sección tiene un estilo difícil de entender para los lectores interesados en el tema. Si puedes, por favor edítalo y contribuye a hacerlo más accesible para el público general, sin eliminar los detalles técnicos que interesan a los especialistas.

En teoría de categorías, la categoría de los espacios topológicos, usualmente denotada como ${\displaystyle {\mathsf {Top}}}$, tiene a los espacios topológicos como objetos y a las funciones continuas entre ellos como morfismos; esto nos da una categoría porque la composición de dos funciones continuas es continua. Los monomorfismos en ${\displaystyle {\mathsf {Top}}}$ son las funciones continuas inyectivas, los epimorfismos son las funciones continuas sobreyectivas, y los isomorfismos son los homeomorfismos. El conjunto vacío (considerado como un espacio topológico) es el objeto inicial de ${\displaystyle {\mathsf {Top}}}$; cualquier topología sobre un conjunto de un solo elemento es un objeto terminal de ${\displaystyle {\mathsf {Top}}}$.

Nótese que algunos autores utilizan el nombre ${\displaystyle {\mathsf {Top}}}$ para referirse a la categoría con las variedades topológicas como objetos y funciones continuas como morfismos.

Estructura

El producto en ${\displaystyle {\mathsf {Top}}}$ viene dado por la topología del producto en el producto cartesiano. Usando la topología del subespacio para los subconjuntos de esos productos, uno puede entonces demostrar que ${\displaystyle {\mathsf {Top}}}$ es una categoría completa. El coproducto es dado por la unión disjunta de espacios topológicos. Usando la topología del cociente, una puede entonces demostrar que Top es también completa. Top no es cartesianamente cerrada (y por lo tanto tampoco es un topos) puesto que no tiene objetos exponenciales. Tenemos un funtor de "olvido" ${\displaystyle {\mathsf {Top}}\to {\mathsf {Set}}}$ que asigna a cada espacio topológico su conjunto subyacente, y a cada función continua la aplicación entre conjuntos subyacente. Este funtor es fiel, y por lo tanto ${\displaystyle {\mathsf {Top}}}$ es una categoría concreta. El funtor de olvido tiene un adjunto izquierdo (que equipa un conjunto dado con la topología discreta) y un adjunto derecho (que equipa un conjunto dado con la topología trivial).

Referencias

• Adámek, Jiří, Herrlich, Horst, & Strecker, George E.; (1990). Abstract and Concrete Categories Archivado el 21 de abril de 2015 en Wayback Machine.. Originalmente publicado por John Wiley & Sons. ISBN 0-471-60922-6.