diff options
| author | Viktor Kleen <viktor@kleen.org> | 2015-03-06 20:56:31 +0000 |
|---|---|---|
| committer | Viktor Kleen <viktor@kleen.org> | 2015-03-06 20:56:31 +0000 |
| commit | 0303c4e1a700f6c5617f505a56cae88673a869da (patch) | |
| tree | 4f13d7b233fb280e04e7b0c77f89f641e1f85759 /posts | |
| parent | 94956f26a68f129a4d4076ad83498d38629ad609 (diff) | |
| download | dirty-haskell.org-0303c4e1a700f6c5617f505a56cae88673a869da.tar dirty-haskell.org-0303c4e1a700f6c5617f505a56cae88673a869da.tar.gz dirty-haskell.org-0303c4e1a700f6c5617f505a56cae88673a869da.tar.bz2 dirty-haskell.org-0303c4e1a700f6c5617f505a56cae88673a869da.tar.xz dirty-haskell.org-0303c4e1a700f6c5617f505a56cae88673a869da.zip | |
more torsors
Diffstat (limited to 'posts')
| -rw-r--r-- | posts/torsors.md | 2 |
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 | |||
| 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 |