David Carchedi's user avatar
David Carchedi's user avatar
David Carchedi's user avatar
David Carchedi
  • Member for 12 years, 9 months
  • Last seen more than 1 year ago
25 votes

What is an $(\infty,1)$-topos, and why is this a good setting for doing differential geometry?

23 votes
Accepted

Is it always possible to write a scheme as a colimit of affine schemes?

21 votes

Geometric imagination of differential forms

16 votes
Accepted

Necessity of hypercovers for sheaf condition for simplicial sheaves

16 votes

Which functors between multicategories that come from monoidal categories are monoidal?

14 votes

Synthetic vs. classical differential geometry

12 votes

What are the benefits of viewing a sheaf from the "espace étalé" perspective?

12 votes
Accepted

Link between internal groupoids and stacks on a topos ?

12 votes

What is a topos?

11 votes
Accepted

Stacks in the Zariski topology?

11 votes

Stacks vs. Groupoids

10 votes
Accepted

When is a reflective subcategory of a topos a topos?

10 votes

Toposes (topoi) as classifying toposes of groupoids

10 votes

What is the stalk of a stack?

10 votes
Accepted

Based loop groups as stacks?

9 votes

Etale spaces using Kan extensions

9 votes

Etalé space construction for presheaves on a Grothendieck site

9 votes

What's a reasonable category that is not locally small?

9 votes

Grothendieck topology for a non-small category

9 votes

What is meant by smooth orbifold?

9 votes
Accepted

Universal property of X//G?

8 votes

Compare three 2-categories of (Lie) groupoids

8 votes
Accepted

Weak Vector Bundles

8 votes
Accepted

Fibrations of Simplicial sets

8 votes
Accepted

Stacks over diffeologies

7 votes
Accepted

What interesting homotopy invariants can I write down using the universal property of homotopy types?

7 votes

Localisation in a quasi-category

7 votes
Accepted

What is the correct notion of Morita Equivalence between topological groupoids

7 votes

Representation of Groupoids

7 votes

Applications of connectedness

1
2 3 4 5