讲义: 同伦代数与同调代数/preamble
\theoremstyle{definition} \newtheorem{construction}{构造} \newtheorem{notation}{记号} \newcommand{\:}{\colon} \newcommand{\bfDelta}{\mathbf{\Delta}} \newcommand{\cat}[1]{\mathsf{#1}} \newcommand{\Ho}{\operatorname{Ho}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\Ndg}{\mathfrak{N}_{\mathrm{dg}}} \newcommand{\op}{^{\mathrm{op}}} \newcommand{\sHom}{\mathscr{H}\mkern-3mu\mathit{om}} \newcommand{\simto}{\mathrel{\rlap{\raisebox{.8ex}{$\mkern2mu\sim$}}{\to}}} \nosectionnumbers