加载中…
We propose a convenient category for directed homotopy consisting of preordered topological spaces generated by cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it is locally presentable.

生成讲解博客的中文版本

生成AI智能校验的中文版本