14,888 reputation
14672
bio website math.uchicago.edu/~may
location US
age 74
visits member for 3 years, 4 months
seen 18 hours ago
At the University of Chicago since 1967. Mainly known as an algebraic topologist.

54m
awarded  Enlightened
Apr
7
awarded  Necromancer
Apr
7
answered Infinite loop of a p-completed specta vs p-completion of infinite loop of the spectra
Apr
6
answered How to recognize a Hopf algebra?
Apr
5
answered What does it mean to speak of a homotopy fibration sequence?
Apr
5
answered rationalization of classifying spaces
Apr
5
comment Units of a ring spectrum
Whoa. Units were initially developed to study obstructions to orientability of bundles and fibrations, among other (and deeper) things, such as understanding F/Top as BO-{\otimes} as an infinite loop space away from 2. It was maybe 30 years later that we understood orientations in terms of understanding twists of parametrized spectra.
Feb
20
awarded  Enlightened
Feb
20
awarded  Nice Answer
Feb
9
comment Equivalence of homotopy categories and model structure theory
Actually, I first became truly convinced of the force of model category theory while writing EKMM. I had long wanted to prove that the periodic K-theory spectra are E_{\infty} ring spectra, knowing by infinite loop space theory that their connective covers are such. Thinking model theoretically, this became so easy it was like a joke (in fact, I burst out laughing in the shower when I noticed it).
Feb
9
answered Equivalence of homotopy categories and model structure theory
Feb
7
comment Are these two notions of “dualizable” spectra equivalent?
Qiaochu, don't you mean finitely generated, rather than finitely presented?
Feb
3
comment origin of spectral sequences in algebraic topology
And sometimes just there in plain sight, as the Bockstein ss exact couple is. Their low level nature is a great virtue and convenience. For example, by far the best high level study of convergence, Boardman's ``Conditionally convergent spectral sequences'' starts from exact couples.
Feb
3
comment origin of spectral sequences in algebraic topology
Right Tom, maybe we are just too old (or at least I am:)
Feb
3
awarded  Nice Answer
Feb
3
comment origin of spectral sequences in algebraic topology
This refers to your parenthetical remark about having to do some work. In plain down to earth terms, Appendix B of ``Geneneralized Tate cohomology'' by Greenlees and myself (math.uchicago.edu/~may/PAPERS/Tate.pdf) gives details of the comparison between the usual cellular construction of the AHSS and the dual "cocellular" Postnikov tower construction you are discussing.
Feb
2
answered origin of spectral sequences in algebraic topology
Feb
2
answered Equivariant classifying spaces from classifying spaces
Jan
29
awarded  Nice Answer
Jan
26
comment Image of J splitting
This toy refused to save an edit: Hey Craig, my friend,...