1: \begin{definition}

2: \label{inverseanafunctor}

3: Let $F: \mathcal{X} \to \mathcal{Y}$ be a smoothly essentially surjective, smoothly fully faithful, smooth functor. Then, the anafunctor $\bar F: \mathcal{Y} \to \mathcal{X}$ from the proof of Theorem \ref{weak} is called the \emph{inverse anafunctor of $F$}.

4: \end{definition}