项链范畴是 Reedy 幺半的

在本笔记的第一部分，我们在 Barwick 工作的基础上进一步研究小范畴上 Reedy 结构与幺半结构之间的相互作用。我们将 Reedy 幺半范畴定义为一个 Reedy 范畴 $\mathcal{R}$，它是幺半的，使得对所有对称幺半模型范畴 $\textbf{A}$，范畴 $\mathrm{Fun}\left(\mathcal{R}^{\mathrm{op}}, \textbf{A}\right)_{\mathrm{Reedy}}$ 在装备 Day 卷积后是模型幺半的。在第二部分，我们研究 Baues 与 Dugger-Spivak 所定义的项链范畴 $\mathcal{N}ec$。利用 arXiv:2302.02484v1 中的组合描述，我们简化了文献中的一些证明，并最终证明 $\mathcal{N}ec$ 是简单 Reedy 幺半的。