\[
\newcommand{\ottnt}[1]{#1}
\newcommand{\ottsym}[1]{#1}
\newcommand{\ottmv}[1]{\mathit{#1}}
\newcommand{\func}[1]{\mathsf{#1}}
\newcommand{\Lin}[0]{\func{Lin}}
\newcommand{\Mny}[0]{\func{Mny}}
\newcommand{\Forget}[0]{\func{Forget}}
\newcommand{\Free}[0]{\func{Free}}
\newcommand{\Endo}[0]{\func{Endo}}
\newcommand{\mto}[1]{\xrightarrow{#1}}
\newcommand{\interp}[1]{[\negthinspace[#1]\negthinspace]}
\newcommand{\cat}[1]{\mathcal{#1}}
\newcommand{\catobj}[1]{\mathsf{Obj}(\cat{#1})}
\newcommand{\Obj}[1]{\catobj{#1}}
\newcommand{\catop}[1]{\cat{#1}^{\mathsf{op}}}
\newcommand{\sets}[0]{\mathsf{Set}}
\newcommand{\Set}[0]{\sets}
\newcommand{\mor}[1]{\mathsf{Mor}(\cat{#1})}
\newcommand{\Hom}[3]{\mathsf{Hom}_{#1}(#2,#3)}
\newcommand{\cur}[0]{\mathsf{cur}}
\newcommand{\curi}[0]{\mathsf{cur}^{-1}}
\newcommand{\app}[0]{\mathsf{app}}
\newcommand{\id}[0]{\mathsf{id}}
\newcommand{\injl}[0]{\mathsf{inj_l}}
\newcommand{\injr}[0]{\mathsf{inj_r}}
\newcommand{\pow}[1]{\mathcal{P}(#1)}
\newcommand{\oast}{⊛}
\]
Leave a comment on Twitter or send me an Email