Timeline for Examples where it's useful to know that a mathematical object belongs to some family of objects
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 2, 2011 at 17:15 | history | edited | some guy on the street | CC BY-SA 3.0 |
for precisely avoiding unnatural things.
|
| Sep 2, 2011 at 17:13 | comment | added | some guy on the street | Well, yes and yes, but... So, we work in the category of pointed spaces, and then one fiber at least IS a group because it has the basepoint of $E$ in it... but the rest of them, yes, torsors... strictly, a $\pi_1(BG,b)$-torsor, which is ismorphic to $G$ in conjugate ways. | |
| Sep 2, 2011 at 3:34 | comment | added | David Roberts♦ | And $EG_b$ is a $G$-torsor, not a group. | |
| Sep 2, 2011 at 3:34 | comment | added | David Roberts♦ | ...Some discrete group $G$ (else the fundamental group is the set of path components of $G$) | |
| Sep 2, 2011 at 1:29 | history | answered | some guy on the street | CC BY-SA 3.0 |