\newcommand{\cat}{%
  \symbf%
}
\newcommand{\idarrow}[1][]{%
  \mathbf{id}_{#1}%
}
\newcommand{\Lim}[1][]{%
  \mathbf{Lim}{#1}%
}
\newcommand{\Set}{\cat{Set}}
\newcommand{\Rel}{\cat{Rel}}
\newcommand{\Cat}{\cat{Cat}}
\newcommand{\id}{\mathbf{id}}
\newcommand{\Ran}{\mathbf{Ran}}
\newcommand{\Lan}{\mathbf{Lan}}
\newcommand{\Hask}{\mathbf{Hask}}
\newcommand{\Fop}{\cat{F}^\mathit{op}}
