1 files changed, 1 insertions, 1 deletions
diff --git a/posts/torsors.md b/posts/torsors.md
index b87c2df..a4cab97 100644
--- a/posts/torsors.md
+++ b/posts/torsors.md
@@ -94,7 +94,7 @@ and transitive, so in $\ca C/U$ we have the isomorphism
 $$(G\times U)\times_U (X\times U) \iso (X\times U)
 \times_U (X\times U)$$
 and $(G\times U)\times_U(X\times U) = (G\times X)\times U$ and $(X\times
-U)\times_U (X\times U)$ because pullback preserves products. So, $G\times X\to
+U)\times_U (X\times U) = (X\times X)\times U$ because pullback preserves products. So, $G\times X\to
 X\times X$ is a local isomorphism, hence an isomorphism.
 [^1]: Saunders Mac Lane, Ieke Moerdijk. Sheaves in geometry and logic. Springer, 1994. ISBN: 0-387-97710-4

diff --git a/posts/torsors.md b/posts/torsors.md index b87c2df..a4cab97 100644 --- a/posts/torsors.md +++ b/posts/torsors.md
@@ -94,7 +94,7 @@ and transitive, so in $\ca C/U$ we have the isomorphism
94	$$(G\times U)\times_U (X\times U) \iso (X\times U)	94	$$(G\times U)\times_U (X\times U) \iso (X\times U)
95	\times_U (X\times U)$$	95	\times_U (X\times U)$$
96	and $(G\times U)\times_U(X\times U) = (G\times X)\times U$ and $(X\times	96	and $(G\times U)\times_U(X\times U) = (G\times X)\times U$ and $(X\times
97	U)\times_U (X\times U)$ because pullback preserves products. So, $G\times X\to	97	U)\times_U (X\times U) = (X\times X)\times U$ because pullback preserves products. So, $G\times X\to
98	X\times X$ is a local isomorphism, hence an isomorphism.	98	X\times X$ is a local isomorphism, hence an isomorphism.
99		99
100	[^1]: Saunders Mac Lane, Ieke Moerdijk. Sheaves in geometry and logic. Springer, 1994. ISBN: 0-387-97710-4	100	[^1]: Saunders Mac Lane, Ieke Moerdijk. Sheaves in geometry and logic. Springer, 1994. ISBN: 0-387-97710-4