Skip to content

Commit

Permalink
Insert "of schemes" in groupoids
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Nov 3, 2016
1 parent 0a693e0 commit 7dec692
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions groupoids.tex
Original file line number Diff line number Diff line change
Expand Up @@ -87,18 +87,18 @@ \section{Equivalence relations}
Let $S$ be a scheme. Let $U$ be a scheme over $S$.
\begin{enumerate}
\item A {\it pre-relation} on $U$ over $S$ is any morphism
$j : R \to U \times_S U$. In this case we set
of schemes $j : R \to U \times_S U$. In this case we set
$t = \text{pr}_0 \circ j$ and $s = \text{pr}_1 \circ j$, so
that $j = (t, s)$.
\item A {\it relation} on $U$ over $S$ is a monomorphism
$j : R \to U \times_S U$.
of schemes $j : R \to U \times_S U$.
\item A {\it pre-equivalence relation} is a pre-relation
$j : R \to U \times_S U$ such that the image of
$j : R(T) \to U(T) \times U(T)$ is an equivalence relation for
all $T/S$.
\item We say a morphism $R \to U \times_S U$ is
\item We say a morphism $R \to U \times_S U$ of schemes is
an {\it equivalence relation on $U$ over $S$}
if and only if for every $T/S$ the $T$-valued
if and only if for every scheme $T$ over $S$ the $T$-valued
points of $R$ define an equivalence relation
on the set of $T$-valued points of $U$.
\end{enumerate}
Expand Down

0 comments on commit 7dec692

Please sign in to comment.