Topological category (enriched category theory)

For other uses, see Topological concrete category.

In category theory, a discipline in mathematics, a topological category is a category that is enriched over the category of compactly generated Hausdorff spaces. They can be used as a foundation for higher category theory, where they can play the role of ($\infty$,1)-categories. An important example of a topological category in this sense is given by the category of CW complexes, where each set Hom(X,Y) of continuous maps from X to Y is equipped with the compact-open topology. (Lurie 2009)

See also

• Infinity category
• Simplicial category

References

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

External links

• topologically enriched category at the nLab