Timeline for Relative version of Quillen's theorem A
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 4, 2016 at 11:29 | comment | added | Karol Szumiło | At the moment I can't think of a significantly different argument. What would you count as an argument avoiding homotopy colimits? For example, do you consider Quillen's proof of Theorem A independent of homotopy colimits? It uses diagonals of bisimplicial sets which are homotopy colimits and Bousfield--Kan construction reduces general homotopy colimits to this special case. All these things are intimately related to each other so it may not be possible to separate them completely. | |
| Apr 1, 2016 at 11:46 | comment | added | Anton Mellit | Thank you very much for the reference, in fact Remarque 1.1.4 in Cisinski's paper is precisely my point. His proof however relies on the homotopy colimits of Bousfield-Kan. I want to do the opposite: first to prove relative theorem A independently from homotopy colimits, then use it to construct homotopy colimits. Do you know of an independent proof? | |
| Mar 31, 2016 at 23:02 | vote | accept | Anton Mellit | ||
| Mar 31, 2016 at 22:35 | history | answered | Karol Szumiło | CC BY-SA 3.0 |