David Carchedi's user avatar
David Carchedi's user avatar
David Carchedi's user avatar
David Carchedi
  • Member for 14 years
  • Last seen more than 3 years ago
7 votes
4 answers
5k views

Cotangent bundle of a differentiable stack

38 votes
6 answers
4k views

Advantages of diffeological spaces over general sheaves

10 votes
3 answers
3k views

A number encoding all primes

13 votes
4 answers
3k views

When do Kan extensions preserve limits/colimits?

22 votes
8 answers
3k views

Connections between ultrafilters in topology and logic

20 votes
6 answers
2k views

A canonical and categorical construction for geometric realization

26 votes
3 answers
2k views

What do whitehead towers have to do with physics?

18 votes
2 answers
2k views

Homotopy types of schemes

9 votes
3 answers
2k views

Infinity groupoid objects

19 votes
1 answer
2k views

How much do universes matter in topos theory?

13 votes
1 answer
2k views

Understanding the etale space construction from a formal viewpoint

4 votes
3 answers
2k views

Paracompact but not Hausdorff

21 votes
2 answers
2k views

When is a topological space the homotopy colimit of an open covering?

15 votes
5 answers
2k views

Connections between topos theory and topology

17 votes
1 answer
2k views

Are there non-categorical notions in topos theory?

5 votes
1 answer
1k views

Borel constructions, equivariant cohomology, and homotopy quotients of monoid actions.

14 votes
3 answers
1k views

Are monads monadic?

12 votes
0 answers
1k views

When does a leaf space admit a (non-Hausdorff) manifold structure?

15 votes
2 answers
1k views

Classification of Quasi-topoi

1 vote
1 answer
1k views

Ultrafilters containing a principal filter

8 votes
1 answer
1k views

Eilenberg–Moore algebras in terms of Kleisli ones

10 votes
2 answers
1k views

Canonical topology for infinity topoi revisited.

22 votes
3 answers
1k views

Applications of topological and diferentiable stacks

12 votes
0 answers
1k views

Paracompact Hausdorff but not compactly generated?

7 votes
1 answer
1k views

When does a submersion have connected fibers?

10 votes
3 answers
1k views

Connections on principal bundles via stacks?

14 votes
2 answers
1k views

Are all manifolds affine?

7 votes
1 answer
1k views

Do homotopy limits compute limits in the associated quasicategory in the non-combinatorial model category case?

4 votes
1 answer
1k views

What does it mean for a Deligne-Mumford stack to have trivial generic stabilizers?

4 votes
4 answers
973 views

Homotopic quotients of simplicial sets as infinity-groupoids