本notes主要讲的是拓扑学中$k$-spaces与$k$-Hausdorff space的相关概念，之所以保存这份notes是因为我当初学习高阶范畴的时候，刚好需要用到这些概念。比如说，无穷范畴的定义就需要用到他们：

A topological category is a category which is enriched over $\mathcal{C}\mathcal{G}$, the category of compactly generated (and weakly Hausdorff) topological spaces. The category of topological categories will be denoted by $\mathcal{C}at_{top}$.

而抛开它与无穷范畴的联系，仅仅考虑它在拓扑学本身的意义，我觉得这也是本拓扑学方面有趣的notes，不仅是因为有趣的概念如$k$-空间、$k$-豪斯多夫空间，还有紧致生成的空间，还包括一些有趣的结论。总之，对高阶范畴、或者更深入的拓扑学感兴趣的人，可以看看。