Reedy 范畴的理论与实践

本文旨在阐明 Reedy 范畴公理在同伦论中所扮演的角色。除了需要对范畴论论证有浓厚的兴趣外，无需其他先决条件，我们呈现了许多有用技术结果的简化证明，这些结果虽广为人知但难以在文献中找到。虽然此处展示的结果并非全新，但我们的证明方法 somewhat 新颖。具体而言，我们将大部分艰苦工作简化为涉及加权余极限和 Leibniz（推出积）构造的更简单计算。一般理论与示例并行发展，我们利用这些示例证明了关于同伦极限和余极限的熟悉公式确实具有所需的性质。