Dylan Wilson's user avatar
Dylan Wilson's user avatar
Dylan Wilson's user avatar
Dylan Wilson
  • Member for 13 years, 9 months
  • Last seen more than a month ago
47 votes

Proofs that require fundamentally new ways of thinking

35 votes

Abelian category equivalent to a non-abelian category

33 votes
Accepted

What is the symmetric monoidal structure on the $(\infty,1)$-category of spectra?

28 votes
Accepted

Are functor categories with triangulated codomains themselves triangulated?

27 votes

Books you would like to read (if somebody would just write them…)

27 votes

Example of a manifold which is not a homogeneous space of any Lie group

24 votes
Accepted

revisiting $THH(\mathbb{F}_p)$

21 votes

compact-open topology

19 votes
Accepted

Stable infinity categories vs dg-categories

19 votes

Is there a generalization of homotopy groups to fractional dimensions

19 votes

Do we still need models of spectra other than the $\infty$-category $\mathrm{Sp}$?

17 votes

Does Spin cobordism vanish in dimension $4k-1$?

17 votes

Complex hypersurface in complex projective space

16 votes
Accepted

Equivalent definitions of Thom spectra

15 votes

Orientable with respect to complex cobordism?

15 votes

Does an H-space have at most one delooping?

15 votes

About a letter by Richard Palais of 1965.

14 votes

Slick ways to make annoying verifications

14 votes
Accepted

Obstructions for $E_n$-algebras

14 votes
Accepted

Deformation of a diagram preserve the homotopy limit

13 votes
Accepted

Calculating limits progressively

13 votes
Accepted

Does formation of the derived $\infty$-category preserve pushouts?

12 votes
Accepted

The (fiber of the) cofiber of the fiber of a map of spaces

12 votes
Accepted

On HTT's Lemma 3.3.4.1

12 votes

Topos theory reference suitable for undergraduates

11 votes

Demystifying complex numbers

11 votes

Hom spaces in (∞, 1)-categories

11 votes
Accepted

Modules over the integral dual Steenrod algebra as linear functors

10 votes
Accepted

Equivalence of the definitions of a sheaf in SGA4 and in "Categories and Sheaves"

10 votes

Slick ways to make annoying verifications