Topological category explained
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 (
,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.
See also
External links
- topologically enriched category at the nLab
