\newcommand{\qty}[1]{ \left( #1 \right) } \newcommand{\one}[0]{\mathbb{1}} \newcommand{\dcoset}[3]{{ _{ { #1} \diagdown} {\scriptstyle #2} {}_{\diagup {#3} } }} \newcommand{\dcosetl}[2]{{ _{ { #1} \diagdown} {\scriptstyle #2} }} \newcommand{\dcosetr}[2]{{ {\scriptstyle #1} {}_{\diagup {#2} } }} \newcommand{\colim}[0]{\mathrm{colim}} \newcommand{\cocolim}[0]{\mathrm{lim}} \newcommand{\prism}[0]{{\Delta_{\mathrm{prism}}} } \newcommand{\llbracket}[0]{[[} \newcommand{\rrbracket}[0]{]]}