Skip to content

Commit

Permalink
Fix typo in sites-modules
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jan 31, 2018
1 parent db08ff6 commit 95f595c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion sites-modules.tex
Expand Up @@ -3310,7 +3310,7 @@ \section{Closed immersions of ringed topoi}
\begin{lemma}
\label{lemma-i-star-equivalence}
Let $i : (\Sh(\mathcal{C}), \mathcal{O}) \to (\Sh(\mathcal{D}), \mathcal{O}')$
be a morphism of ringed topoi. Assume $i$ is a closed immersion of topi
be a morphism of ringed topoi. Assume $i$ is a closed immersion of topoi
and $i^\sharp : \mathcal{O}' \to i_*\mathcal{O}$ is surjective.
Denote $\mathcal{I} \subset \mathcal{O}'$ the kernel of $i^\sharp$.
The functor
Expand Down

0 comments on commit 95f595c

Please sign in to comment.