Definition 7.43.1 (08LU)—The Stacks project

Processing math: 100%

Definition 7.43.1. Let $\mathcal{C}$ and $\mathcal{D}$ be sites. A morphism of topoi $f : \mathop{\mathit{Sh}}\nolimits (\mathcal{D}) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ is called an embedding if $f_*$ is fully faithful.

Comments (2)

Comment #504 by Kestutis Cesnavicius on April 01, 2014 at 21:27

'Faithfull' ---> 'faithful'.

Comment #510 by Johan on April 02, 2014 at 19:50

This typo and the previous one are fixed here.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$ ). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Comments (2)

Post a comment