Skip to content

Commit

Permalink
Fix internal reference
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Apr 14, 2024
1 parent d801f40 commit 88f3f4c
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
1 change: 1 addition & 0 deletions CONTRIBUTORS
Expand Up @@ -13,6 +13,7 @@ Kasper Andersen
Johannes Anschuetz
Benjamin Antieau
Ko Aoki (青木孔)
Daniël Apol
Santiago Arango-Piñeros
Konstantin Ardakov
Dima Arinkin
Expand Down
2 changes: 1 addition & 1 deletion algebraic.tex
Expand Up @@ -459,7 +459,7 @@ \section{Categories fibred in groupoids representable by algebraic spaces}
\item $\mathcal{X}$ is fibred in setoids\footnote{This means that
it is fibred in groupoids and objects in the fibre categories
have no nontrivial automorphisms, see Categories,
Definition \ref{categories-definition-category-fibred-sets}.}, and
Definition \ref{categories-definition-category-fibred-setoids}.}, and
\item the presheaf $U \mapsto \Ob(\mathcal{X}_U)/\!\!\cong$ is
an algebraic space.
\end{enumerate}
Expand Down

0 comments on commit 88f3f4c

Please sign in to comment.