Timeline for Applications of Monadicity theorems
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:19 | history | edited | CommunityBot |
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
|
|
| Mar 29, 2017 at 23:07 | comment | added | Arrow | @ToddTrimble I am aware but now understand I don't appreciate this fact enough. Thanks! | |
| Mar 29, 2017 at 19:14 | comment | added | Todd Trimble | You're probably aware of this, but one of the early big surprises was the fact that compact Hausdorff spaces are monadic over sets. One consequence of this that I still find pretty amazing is that the category of compact Hausdorff spaces is a pretopos (being Barr exact and extensive). | |
| Mar 29, 2017 at 19:04 | history | asked | Arrow | CC BY-SA 3.0 |