Adjointness. We have an adjunction witnessed by a bijection of sets
\[ \textup{Hom}_{\mathsf{Cats}}\webleft (\mathcal{G},\mathcal{D}\webright )\cong \textup{Hom}_{\mathsf{Grpd}}\webleft (\mathcal{G},\mathsf{Core}\webleft (\mathcal{D}\webright )\webright ), \]
natural in $\mathcal{G}\in \text{Obj}\webleft (\mathsf{Grpd}\webright )$ and $\mathcal{D}\in \text{Obj}\webleft (\mathsf{Cats}\webright )$, forming, together with the functor $\mathrm{K}_{0}$ of Item 1 of Proposition 9.4.3.1.3, a triple adjunction
witnessed by bijections of sets
\begin{align*} \textup{Hom}_{\mathsf{Grpd}}\webleft (\mathrm{K}_{0}\webleft (\mathcal{C}\webright ),\mathcal{G}\webright ) & \cong \textup{Hom}_{\mathsf{Cats}}\webleft (\mathcal{C},\mathcal{G}\webright ),\\ \textup{Hom}_{\mathsf{Cats}}\webleft (\mathcal{G},\mathcal{D}\webright ) & \cong \textup{Hom}_{\mathsf{Grpd}}\webleft (\mathcal{G},\mathsf{Core}\webleft (\mathcal{D}\webright )\webright ),\end{align*}
natural in $\mathcal{C},\mathcal{D}\in \text{Obj}\webleft (\mathsf{Cats}\webright )$ and $\mathcal{G}\in \text{Obj}\webleft (\mathsf{Grpd}\webright )$.