Categoría topológica (teoría de categorías enriquecida)

En la teoría de categorías , una disciplina de las matemáticas , una categoría topológica es una categoría que se enriquece sobre la categoría de espacios de Hausdorff generados de forma compacta . Se pueden utilizar como fundamento para la teoría de categorías superior , donde pueden desempeñar el papel de (${\displaystyle \infty }$,1)-categorías. Un ejemplo importante de una categoría topológica en este sentido la proporciona la categoría de complejos CW , donde cada conjunto Hom( X , Y ) de aplicaciones continuas de X a Y está equipado con la topología compacta-abierta . ( Lurie 2009 )

• Categoría Infinito
• Categoría simplicial

• Lurie, Jacob (2009), Teoría de topos superiores , Annals of Mathematics Studies, vol.  170, Princeton University Press , arXiv : math.CT/0608040 , ISBN 978-0-691-14049-0, MR 2522659 

• categoría topológicamente enriquecida en el Laboratorio n