畴，常记为 formula_14，态射集记为 formula_15。在处理带基点的空间时，空间的积与不交并都要作相应的改变。
同伦理论.同伦理论中有一些适用于所有空间的一般结果，但随着理论渐深，往往需要考虑更小的一类空间。CW复形适用于大部份的问题，它的好处之一体现于布朗表示定理，缺陷则在于CW复形之间的函数空间不一定是CW复形，针对后者，紧生成豪斯多夫空间更富弹性，它包括了所有CW复形、局部紧空间与第一可数空间（例如度量空间）。近来同伦理论发展的一个里程碑是谱空间，这可以