The tag has no usage guidance.

learn more… | top users | synonyms

8
votes
1answer
345 views

Stable presentable categories as module categories

There is a theorem of Schwede and Shipley which classifies categories of modules over an A∞ ring spectrum as those stable presentable (∞,1)-categories with a compact generator. Suppose I ...
11
votes
3answers
891 views

Classifying triangulated structures on a graded category

I know of several results to the effect that two triangulated categories are equivalent categories (usually one coming from algebra and one coming from topology). However, it's never been clear to me ...
14
votes
2answers
895 views

Exotic spheres and stable homotopy in all large dimensions?

Given that the kervaire invariant one problem has been solved in (almost) all dimensions....my question is whether there exists an exotic sphere in all sufficently lagre dimensions? Given the ...
11
votes
2answers
717 views

Are generalized cohomology theories a homotopy category of some category of invariants?

I was taught to think of generalized cohomology theories as the homotopy category of (symmetric) spectra. But is there also a category of 'invariants', that is, some category of contravariant functors ...
41
votes
9answers
5k views

understanding Steenrod squares

There is a function on $\mathbb{Z}/2\mathbb{Z}$-cohomology called Steenrod squaring: $Sq^i:H^k(X,\mathbb{Z}/2\mathbb{Z}) \to H^{k+i}(X,\mathbb{Z}/2\mathbb{Z})$. (Coefficient group suppressed from ...