\newcommand\ensuremath[1]{#1} \newcommand\BB{{\ensuremath{\mathcal{B}}}} \newcommand\TT{{\ensuremath{\mathcal{T}}}} \newcommand\UU{{\ensuremath{\mathcal{U}}}} \newcommand\CC{{\ensuremath{\mathcal{C}}}} \newcommand\El{{\ensuremath{\operatorname{\mathcal{E}l}}}} \newcommand\ii{{\ensuremath{\mathbf{i}}}} \newcommand\Cstr{{\ensuremath{\operatorname{\mathcal{C}str}}}} \newcommand\Set{{\ensuremath{\operatorname{\mathcal{S}et}}}} \newcommand\Hom{{\ensuremath{\operatorname{\mathcal{H}om}}}} \newcommand\this{{\ensuremath{\operatorname{\texttt{this}}}}} \newcommand\Hbar{{\ensuremath{\overline{H}}}} \newcommand\dash{{\;\textrm{---}\;}} \newcommand\inj{\operatorname{inj}} \newcommand\id{\operatorname{id}}