Lemma 13.14.4. Assumptions and notation as in Situation 13.14.1. Let $s : X \to Y$ be an element of $S$.

$RF$ is defined at $X$ if and only if it is defined at $Y$. In this case the map $RF(s) : RF(X) \to RF(Y)$ between values is an isomorphism.

$LF$ is defined at $X$ if and only if it is defined at $Y$. In this case the map $LF(s) : LF(X) \to LF(Y)$ between values is an isomorphism.

## Comments (0)

There are also: