Definition 13.14.10. In Situation 13.14.1.

An object $X$ of $\mathcal{D}$

*computes*$RF$ if $RF$ is defined at $X$ and the canonical map $F(X) \to RF(X)$ is an isomorphism.An object $X$ of $\mathcal{D}$

*computes*$LF$ if $LF$ is defined at $X$ and the canonical map $LF(X) \to F(X)$ is an isomorphism.

## Comments (0)

There are also: