Moore 流的同伦理论（一）

勘误，2022年7月11日：此为原论文的更新版本，其中重参数化范畴的公理化有误。原论文的改动细节见附录。重参数化范畴是一个拓扑富集半幺半范畴，其半幺半结构在对象上诱导出半群结构，所有映射空间均可缩，且每个映射可（不必唯一地）分解为两个映射的张量积。Moore 流是一个在小范畴上关于重参数化范畴的富集预层之双闭半幺半范畴富集的半范畴。我们构造了 Moore 流的 q-模型范畴。证明了它与流的 q-模型范畴拟等价。该结果是建立多 pointed $d$-空间 的 q-模型结构与流的 q-模型结构之间拟等价之字形链的第一步。