The Stacks project

Definition 4.2.4. A morphism $\phi : x \to y$ is an isomorphism of the category $\mathcal{C}$ if there exists a morphism $\psi : y \to x$ such that $\phi \circ \psi = \text{id}_ y$ and $\psi \circ \phi = \text{id}_ x$.