Timeline for Giraud's axioms imply balanced
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 7 at 19:09 | comment | added | Emilio Minichiello | Ah excellent! I should always know to check the Elephant, though that itself is a nontrivial task. | |
| Oct 7 at 16:56 | comment | added | Simon Henry | Oh thanks! I hadn't noticed it. Johnstone's proof also looks a little simpler than mine. | |
| Oct 7 at 16:21 | comment | added | Mike Shulman | There's a similar proof in Sketches of an Elephant (A1.4.9, with the real work in A1.4.8). | |
| Oct 5 at 20:14 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 13 characters in body
|
| Oct 5 at 11:14 | comment | added | Emilio Minichiello | Interesting! Manipulating the equivalence relations directly like this is very nice. | |
| Oct 5 at 11:13 | vote | accept | Emilio Minichiello | ||
| Oct 4 at 22:26 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 44 characters in body
|
| Oct 4 at 22:09 | history | answered | Simon Henry | CC BY-SA 4.0 |