Timeline for Intuitionistic algebraic topology?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 5, 2013 at 21:51 | comment | added | Mikael Vejdemo-Johansson | The context I'm working on is, to be more exact, what happens if I do topology internal to a particular topos of sheaves. | |
| Nov 5, 2013 at 2:06 | comment | added | David Roberts♦ | Sometimes it is sufficient to have enough projectives in the topos $Set$. In fact, removing LEM or AC means you probably want to work with analogues of sheaf cohomology. | |
| Nov 4, 2013 at 22:59 | comment | added | Zhen Lin | What's the definition of $H^2$ you are using here? As you pointed out, previously equivalent definitions become inequivalent... | |
| Nov 4, 2013 at 22:44 | history | answered | Evan Jenkins | CC BY-SA 3.0 |