Skip to main content
Jacob Lurie's user avatar
Jacob Lurie's user avatar
Jacob Lurie's user avatar
Jacob Lurie
  • Member for 13 years, 10 months
  • Last seen more than 3 years ago
195 votes
Accepted

If I want to study Jacob Lurie's books "Higher Topoi Theory", "Derived AG", what prerequisites should I have?

104 votes
Accepted

Is there a high-concept explanation for why "simplicial" leads to "homotopy-theoretic"?

104 votes
Accepted

Hirzebruch's motivation of the Todd class

62 votes
Accepted

What is homology anyway?

46 votes

Are morphisms from affine schemes to arbitrary schemes affine morphisms?

42 votes

What's the current state of the classification of not-fully-extended TQFTs?

42 votes
Accepted

Is Lemma A.1.5.7 in Higher Topos Theory correct?

38 votes
Accepted

What is a simplicial commutative ring from the point of view of homotopy theory?

36 votes
Accepted

What's so special about the forgetful functor from G-rep to Vect?

32 votes

What is a symmetric monoidal $(\infty,n)$-category?

32 votes

Reflection principle vs universes

29 votes

What are simplicial topological spaces intuitively?

28 votes
Accepted

Reflection principle vs universes

28 votes
Accepted

Relation between topos and $\infty$-topos

27 votes
Accepted

What do cohomology operations have to do with the non-existence of commutative cochains over $\mathbb{Z}$?

26 votes
Accepted

How much do universes matter in topos theory?

24 votes
Accepted

How do $\infty$-categories allow us to do descent on the derived level?

23 votes
Accepted

Functorial kernel in derived category

23 votes
Accepted

Stable homotopy category and the moduli space of formal groups

22 votes

Why study simplicial homotopy groups?

21 votes
Accepted

What would be an infinity-groupoid analogue of the duality between sets and complete atomic boolean algebras?

20 votes
Accepted

Examples of $(\infty,1)$-topoi that are not given as sheaves on a Grothendieck topology

20 votes
Accepted

Semi-simplicial versus simplicial sets (and simplicial categories)

20 votes
Accepted

The weak equivalences in the covariant model structure

20 votes
Accepted

compact objects in model categories and $(\infty,1)$-categories

19 votes
Accepted

elliptic curves and group cohomology

19 votes
Accepted

Lower Algebra: Modules over the monoidal category of abelian groups

18 votes
Accepted

Are there noncommutative extensions of $\alpha_p$ by $\mathbb{G}_m$?

18 votes
Accepted

Where to find the correct result in Higher Algebra, incorrect reference

17 votes
Accepted

Projective objects in HTT