Skip to content

Commit

Permalink
Fix type error
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Jul 14, 2015
1 parent 66d0caa commit 4aaf5d9
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion sites.tex
Expand Up @@ -8654,7 +8654,8 @@ \section{Subtopoi}
Let $\mathcal{C}$ be a site. Let $\mathcal{F}$ be a sheaf on
$\mathcal{C}$. The following are equivalent
\begin{enumerate}
\item $\mathcal{F}$ is a subobject of the final object of $\mathcal{C}$, and
\item $\mathcal{F}$ is a subobject of the final object of
$\Sh(\mathcal{C})$, and
\item the topos $\Sh(\mathcal{C})/\mathcal{F}$ is a subtopos of
$\Sh(\mathcal{C})$.
\end{enumerate}
Expand Down

0 comments on commit 4aaf5d9

Please sign in to comment.