Skip to content

Commit

Permalink
typo (closing #4)
Browse files Browse the repository at this point in the history
  • Loading branch information
iblech committed Jun 29, 2023
1 parent 213d06d commit e0773f7
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
Binary file modified paper-qcoh.pdf
Binary file not shown.
4 changes: 2 additions & 2 deletions paper-qcoh.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1316,8 +1316,8 @@ \section{The special case of Horn theories}
\begin{rem}The finite presentability condition in
Lemma~\ref{lemma:fp-double-dual} cannot be dropped. For instance, in the case
that~$\TT$ is the theory of commutative rings with unit and~$A$ is the
ring~$\QQ$ of integers, we have~$\Spec(A^\sim) \cong \Spec(0^\sim)$, where~$0$
is the zero ring, as~$\QQ$ allows ring homomorphisms only in those finitely
ring~$\QQ$ of rational numbers, we have~$\Spec(A^\sim) \cong \Spec(0^\sim)$, where~$0$
is the zero ring, as~$\QQ$ allows ring homomorphisms only to those finitely
presented rings in which~$1 = 0$ holds. Hence~$A^\sim$
and~$(U_\TT)^{\Spec(A^\sim)} \cong (U_\TT)^{\Spec(0^\sim)} \cong 0^\sim$ do not coincide.
\end{rem}
Expand Down

0 comments on commit e0773f7

Please sign in to comment.