Fix typo in formal-defos.tex

Thanks to Johan Commelin http://stacks.math.columbia.edu/tag/06G8#comment-1319
stacks · Mar 12, 2015 · 00e5d84 · 00e5d84
1 parent 6ecb25b
commit 00e5d84
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/formal-defos.tex b/formal-defos.tex
@@ -76,7 +76,7 @@ \section{Introduction}
 
 \medskip\noindent
 {\it Categories cofibred in groupoids} are dual to categories fibred in
-groupoids; we introduced them in Section \ref{section-preliminary}.
+groupoids; we introduce them in Section \ref{section-preliminary}.
 A {\it smooth} morphism of categories cofibred in groupoids over
 $\mathcal{C}_\Lambda$ is one that satisfies the infinitesimal lifting
 criterion for objects, see