稳定同伦论与高阶代数

关于译名:
连通谱或许应该译为连合谱 (因为说连通容易被理解为 1-连通), connective 目前我们译为连合.
拉直或许应该翻译为直化, 其逆则可译作反直化.
关于符号:
此外 pdf 中 $\mathbb{1}$ 疑似具有编译错误, 可能需要加上额外的 package
同伦拉回与同伦推出中 2-态射疑似没有绘制出来.

在拉回与推出方块中, 若使用 tikzcd, 拉回方块的示例当为

%\begin{tikzcd}
%B \times_D C \ar[r] \ar[d] \ar[dr,phantom,very near start,"\lrcorner"] & B \ar[d]\\
%C \ar[r] & D
%\end{tikzcd}

推出方块的示例当为
%\begin{tikzcd}
%A \ar[r] \ar[d] \ar[dr,phantom,very near end,"\ulcorner"] & B \ar[d]\\
%C \ar[r] & B \sqcup_A C
%\end{tikzcd}

注: 或许可以联系 Bastiaan 要源码. 此外我在香蕉空间中对于高阶代数部分已经进行了一部分翻译, 或许可以作为参考香蕉空间/讲义:高阶代数