2-Adjointness. We have a 2-adjunction witnessed by an isomorphism of categories
\[ \mathsf{Fun}\webleft (\mathrm{K}_{0}\webleft (\mathcal{C}\webright ),\mathcal{G}\webright )\cong \mathsf{Fun}\webleft (\mathcal{C},\mathcal{G}\webright ), \]
natural in $\mathcal{C}\in \text{Obj}\webleft (\mathsf{Cats}\webright )$ and $\mathcal{G}\in \text{Obj}\webleft (\mathsf{Grpd}\webright )$, forming, together with the 2-functor $\mathsf{Core}$ of Item 2 of Proposition 9.4.4.1.4, a triple 2-adjunction
witnessed by isomorphisms of categories
\begin{align*} \mathsf{Fun}\webleft (\mathrm{K}_{0}\webleft (\mathcal{C}\webright ),\mathcal{G}\webright ) & \cong \mathsf{Fun}\webleft (\mathcal{C},\mathcal{G}\webright ),\\ \mathsf{Fun}\webleft (\mathcal{G},\mathcal{D}\webright ) & \cong \mathsf{Fun}\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 )$.