% The identity operator/arrow on its argument.
\newcommand*{\identity}[1]{ \operatorname{id}_{{#1}} }
% The identity operator/arrow on its argument.
\newcommand*{\identity}[1]{ \operatorname{id}_{{#1}} }
% The inverse of an arrow, function, or whatever.
\newcommand*{\inverse}[1]{ #1^{-1} }
% The inverse of an arrow, function, or whatever.
\newcommand*{\inverse}[1]{ #1^{-1} }