Skip to content

Commit

Permalink
Typos in spaces-perfect.tex
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Feb 27, 2014
1 parent 7b3a466 commit e4bcaa9
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions spaces-perfect.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1762,8 +1762,8 @@ \section{The coherator}

\begin{proposition}
\label{proposition-quasi-compact-affine-diagonal}
Let $S$ be a scheme. Let $X$ be a quasi-compact algebraic space with affine
diagonal. Then the functor (\ref{equation-compare})
Let $S$ be a scheme. Let $X$ be a quasi-compact algebraic space over $S$
with affine diagonal. Then the functor (\ref{equation-compare})
$$
D(\QCoh(\mathcal{O}_X))
\longrightarrow
Expand All @@ -1773,7 +1773,7 @@ \section{The coherator}
\end{proposition}

\begin{proof}
We first use the induction principle to prove $i_X$ is fully faithfu.
We first use the induction principle to prove $i_X$ is fully faithful.
Let $\mathcal{B} \subset \Ob(X_{spaces, \etale})$ be the set of
objects which are quasi-compact and have affine diagonal.
For $U \in \mathcal{B}$ let $P(U) =$ ``the functor
Expand Down

0 comments on commit e4bcaa9

Please sign in to comment.