Lemma 13.14.14. Assumptions and notation as in Situation 13.14.1.

If for every object $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{D})$ there exists an arrow $s : X \to X'$ in $S$ such that $X'$ computes $RF$, then $RF$ is everywhere defined.

If for every object $X \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{D})$ there exists an arrow $s : X' \to X$ in $S$ such that $X'$ computes $LF$, then $LF$ is everywhere defined.

## Comments (0)

There are also: