\theoremstyle{definition}
\newtheorem{construction}{构造}
\newtheorem{notation}{记号}
\newcommand{\:}{\colon}
\newcommand{\bfDelta}{\mathbb{\Delta}}
\newcommand{\cat}[1]{\mathsf{#1}}
\newcommand{\Ho}{\operatorname{Ho}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\KD}{\mathord{\rlap{\htmlStyle{display:inline-block;transform:scaleX(-1);user-select:none}{DK}}\phantom{\text{KD}}}}
\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