Timeline for Intuitionistic algebraic topology?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 2, 2019 at 7:40 | comment | added | Harry Gindi | You can't prove that every simplicial set is cofibrant in the Kan-Quillen model structure. | |
| Nov 5, 2013 at 19:35 | answer | added | Philippe Gaucher | timeline score: 4 | |
| Nov 4, 2013 at 23:02 | comment | added | Zhen Lin | I've been thinking about the same question recently! Here's a very trivial thing that goes wrong in $\mathbf{sSet}$ when you don't have AC: not all monomorphisms have the left lifting property with respect to trivial Kan fibrations. See here. (But some may argue that it's the definition of trivial Kan fibration that should be changed when AC fails.) | |
| Nov 4, 2013 at 22:44 | answer | added | Evan Jenkins | timeline score: 7 | |
| Nov 4, 2013 at 22:40 | comment | added | Fernando Muro | There are even questions which are equivalent to the continuum hypothesis, to the generalized version, and to large cardinal axioms! | |
| Nov 4, 2013 at 22:32 | comment | added | Qiaochu Yuan | The statement that discrete spaces have trivial cohomology! See golem.ph.utexas.edu/category/2013/07/… . | |
| Nov 4, 2013 at 22:31 | comment | added | Evan Jenkins | A related question: mathoverflow.net/questions/50971/… | |
| Nov 4, 2013 at 22:23 | history | asked | Mikael Vejdemo-Johansson | CC BY-SA 3.0 |