diff options
| l--------- | lists/torsors/001 | 1 | ||||
| -rw-r--r-- | lists/torsors/title | 1 | ||||
| -rw-r--r-- | posts/torsors.md | 2 |
3 files changed, 3 insertions, 1 deletions
diff --git a/lists/torsors/001 b/lists/torsors/001 new file mode 120000 index 0000000..69340df --- /dev/null +++ b/lists/torsors/001 | |||
| @@ -0,0 +1 @@ | |||
| ../../posts/torsors.md \ No newline at end of file | |||
diff --git a/lists/torsors/title b/lists/torsors/title new file mode 100644 index 0000000..3597b97 --- /dev/null +++ b/lists/torsors/title | |||
| @@ -0,0 +1 @@ | |||
| Torsor in Toposes | |||
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 |