Timeline for What does "higher monodromy" tell us about a principal bundle
Current License: CC BY-SA 3.0
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jan 3, 2016 at 5:51 | comment | added | Qiaochu Yuan | @Saal: yes, that's right. | |
Jan 2, 2016 at 23:22 | comment | added | Saal Hardali | I've just discovered (during reading an $n$-lab thread) that $EG$ is a fibrant replacement for $*$ in the pullback diagram of the principal bundle. So the homotopy fiber of the classifying map is the principal bundle. Am I understanding this correctly? | |
Dec 1, 2015 at 21:55 | history | answered | Qiaochu Yuan | CC BY-SA 3.0 |