Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 22 / 5 / b / i

If $B$ belongs to the full subcategory $\mathcal{C}$, the adjunction and fullness of its inclusion give, for every $B^{\prime }\in \mathcal{B}$,Therefore membership implies the hom-set condition. In addition, $J$ is fully faithful, so the adjunction counit is invertible by the preceding criterion. The triangular equation $J{\epsilon }_B{\rho }_B=1_B$ then shows that ${\rho }_B$ is an isomorphism. As in the printed inclusion notation, $J$ is suppressed when writing $KB$ as an object of $\mathcal{B}$.