Definition 3.10 (Reflection). By a reflection, we mean an adjunction such that the right adjoint is full and faithful (equivalently: the counit is an isomorphism). We say $D\subseteq C$ is a reflective subcategory if it’s full and the inclusion $D\to C$ has a left adjoint.