macros.tex

% General stuff
% Category specific notation
\newcommand{\cat}[1]{\mathbf{{#1}}}

\newcommand{\catObjs}[1]{\lvert{#1}\rvert}
\newcommand{\catArrs}[1]{{#1}^{2}}
\newcommand{\sliceCat}[2]{{#1}\downarrow{#2}}
\newcommand{\arrow}[3]{{#2}: {#1} \to {#3}}
\newcommand{\arrowalt}[3]{{#1} \overset{#2}{\to} {#3}}
\newcommand{\arrowaltalt}[3]{\xymatrix{{#1} \ar[r]|{#2} & {#3}}}

%Special categories
\newcommand{\catSET}{\cat{Set}}
\newcommand{\catPAR}{\cat{Par}}
\newcommand{\catINCL}{\cat{Incl}}
\newcommand{\catREL}{\cat{Rel}}
\newcommand{\catPROP}{\cat{Prop}}
\newcommand{\catMult}{\cat{Mult}}
\newcommand{\catALGOMEGA}{\cat{Alg}(\Omega)}
\newcommand{\catALGSIGMA}{\cat{Alg}(\Sigma)}
\newcommand{\catSYSSIGMA}{\cat{Sys}(\Sigma)}