Reflections in locally presentable categories-unclear step in the proof

Question

Here in the paper by Rosicky Adamek, Reflections in locally presentable categories on the page 90 in the proof theorem on the page 89, I do not follow the 3rd line there:

... and hence is reflective in $\cal H'\ ?$

From which line in the last paragraph on the page 89 and from that 3rd line on the page 90

(...thus is reflective in $\mathbf{Set}^M)$

this follows and why technically do we need this ?

I've read those two paragraphs on pages 89 and 90 many times but I've failed to understand them well enough.

The snippet:

Answer 1

Let us reformulate the statement of the theorem, to introduce a name for the subcategory that we will want to consider.

Let $\mathcal{H}$ be a locally presentable category and let $\alpha$ be a regular cardinal. Then each full subcategory $\mathcal{A}$ of $\mathcal{H}$, that is closed under limits and $\alpha$-filtered colimits, is reflective in $\mathcal{H}$.

As they already mention, every locally presentable category $\mathcal{H}$ is equivalent to a full reflective subcategory $\mathcal{H'}$ of some presheaf category $\mathbf{Set}^M$, where $\mathcal{H'}$ is closed under $\beta$-filtered colimits in $\mathbf{Set}^M$. That is, we have the following picture: $$ \mathcal{A} \hookrightarrow \mathcal{H} \simeq \mathcal{H'} \hookrightarrow \mathbf{Set}^M. $$ In particular, the composed inclusion $\mathcal{A} \hookrightarrow \mathbf{Set}^M$ makes it so that we can see $\mathcal{A}$ as a full subcategory of $\mathbf{Set}^M$ that is closed under $(\alpha + \beta)$-filtered colimits. Then they claim that proving that this inclusion makes $\mathcal{A}$ into a reflective subcategory of $\mathbf{Set}^M$ is enough.

Indeed it is, denote by $i: \mathcal{A} \hookrightarrow \mathcal{H}$ and $j: \mathcal{H} \hookrightarrow \mathbf{Set}^M$ the inclusions. Then the fact that $\mathcal{A}$ is reflective in $\mathbf{Set}^M$ means that we have an adjoint $F \dashv ji$. So we have natural bijections between the hom-sets as follows (for objects $A$ in $\mathcal{A}$ and $H$ in $\mathcal{H}$): $$ \operatorname{Hom}_\mathcal{A}(Fj(H), A) \cong \operatorname{Hom}_{\mathbf{Set}^M}(j(H), ji(A)) \cong \operatorname{Hom}_\mathcal{H}(H, i(A)) $$ The first bijection is just the adjunction $F \dashv ji$, and the second bijection is just the fact that the inclusion $j$ is full and faithful. We thus see that $Fj \dashv i$, and so we can conclude that $\mathcal{A}$ is a reflective subcategory of $\mathcal{H}$.