1: \begin{definition}

2:   An \emph{inverse category} is a category $\cat{C}$ in which every

3:   morphism $f \colon X \to Y$ allows a unique morphism $f^\dag \colon Y

4:   \to X$ satisfying $f=ff^\dag f$ and $f^\dag=f^\dag f f^\dag$.

5:   Equivalently, it is a dagger category satisfying

6:   $f=ff^\dag f$ and $pq=qp$ for idempotents $p,q \colon X

7:   \to X$.

8:   The proof of equivalence of these two statements is the same as for

9:   inverse semigroups

10:   (see~\cite[Theorem~1.1.3]{lawson:inversesemigroups} or~\cite[Theorem~2.20]{cockettlack:restriction1}).

11:   Inverse categories are a special case of \emph{restriction

12:   categories}~\cite{cockettlack:restriction1}. 

13: 

14:   The category $\PInj$ is an inverse category under its dagger

15:   (see~\ref{spans}). The following 

16:   categorification of the Wagner--Preston %representation

17:   theorem~\cite[Theorem~1.5.1]{lawson:inversesemigroups} 

18:   shows that it is in fact a representative one. See

19:   also~\cite[3.4]{cockettlack:restriction1}. 

20: \end{definition}