拓扑栈的同伦类型

我们定义了拓扑栈的{\em 分类空间}概念，并证明每个拓扑栈\X都有一个分类空间X，该空间是拓扑空间且在弱同伦等价意义下唯一确定。在\X满足某种仿紧性条件下，我们证明X实际上在同伦等价意义下唯一确定。这些结果以从拓扑栈范畴到拓扑空间（弱）同伦范畴的函子形式表述。我们还证明了拓扑栈（小）图表的类似结果。