导出动机谱范畴导论

我们形式化了格罗滕迪克动机哲学的一种抽象，并在 Segal 范畴 $\mathbb{R} \underline{\text{Hom}} ((\text{dSt}_k)^{\text{op}}_{/F}, \text{Top})$（$\text{dSt}_k$ 为 s$k$-Alg 上导出栈的 Segal 范畴，Top = $L \text{Set}_{\Delta}$ 为单纯集的 Segal 范畴）中构造了导出动机谱的范畴，从而为在 Segal 框架下构造稳定动机同伦范畴提供了一个起点。