User David Carchedi

39 votes

6 answers

4k views

Advantages of diffeological spaces over general sheaves

asked Dec 7, 2010 at 15:31

27 votes

3 answers

2k views

What do whitehead towers have to do with physics?

asked Mar 27, 2011 at 22:43

22 votes

8 answers

3k views

Connections between ultrafilters in topology and logic

asked May 27, 2010 at 10:02

22 votes

3 answers

1k views

Applications of topological and diferentiable stacks

asked Jun 29, 2010 at 18:07

21 votes

2 answers

2k views

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

asked Nov 23, 2014 at 4:15

20 votes

6 answers

2k views

A canonical and categorical construction for geometric realization

asked Jun 16, 2010 at 12:45

19 votes

1 answer

2k views

How much do universes matter in topos theory?

asked Oct 1, 2012 at 22:58

18 votes

2 answers

2k views

Homotopy types of schemes

asked Sep 10, 2015 at 18:32

17 votes

1 answer

2k views

Are there non-categorical notions in topos theory?

asked Apr 4, 2013 at 1:35

16 votes

4 answers

4k views

When do Kan extensions preserve limits/colimits?

asked Nov 12, 2012 at 1:51

15 votes

1 answer

2k views

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

asked Nov 11, 2014 at 1:58

15 votes

5 answers

2k views

Connections between topos theory and topology

asked Mar 5, 2013 at 22:20

15 votes

1 answer

989 views

Characterization of Kleisli adjunctions

asked May 26, 2010 at 22:03

15 votes

2 answers

1k views

Classification of Quasi-topoi

asked Oct 6, 2010 at 17:50

15 votes

1 answer

665 views

Adjoint functor theorem for infinity categories

asked Jun 18, 2012 at 23:19

14 votes

2 answers

1k views

Are all manifolds affine?

asked Feb 20, 2012 at 1:38

14 votes

3 answers

1k views

Are monads monadic?

asked Mar 31, 2010 at 2:02

14 votes

2 answers

701 views

What properties do "large topoi" share with actual topoi?

asked Nov 28, 2013 at 18:25

14 votes

1 answer

754 views

Automorphisms of Eilenberg-Mac Lane spaces and semidirect products (and the odd line)

asked Nov 7, 2015 at 7:47

13 votes

1 answer

2k views

Understanding the etale space construction from a formal viewpoint

asked Aug 18, 2010 at 19:16

13 votes

0 answers

1k views

Paracompact Hausdorff but not compactly generated?

asked May 18, 2011 at 15:07

12 votes

1 answer

543 views

Is every representable map a submersion?

asked Aug 2, 2011 at 17:27

12 votes

2 answers

788 views

Generalized smooth spaces and infinite dimensional manifolds

asked Jun 29, 2010 at 23:38

12 votes

1 answer

520 views

Locally a topos

asked Oct 19, 2010 at 23:06

12 votes

3 answers

845 views

Can one characterize those sheaves which have Hausdorff etale spaces?

asked Jul 17, 2012 at 10:42

10 votes

0 answers

518 views

When does a sheaf of categories represent a homotopy sheaf?

asked Jul 3, 2014 at 16:32

10 votes

3 answers

1k views

Connections on principal bundles via stacks?

asked Apr 20, 2010 at 13:51

10 votes

3 answers

3k views

A number encoding all primes

asked May 11, 2010 at 17:43

10 votes

2 answers

1k views

Canonical topology for infinity topoi revisited.

asked Apr 25, 2012 at 16:59

9 votes

2 answers

899 views

Historical question about simplicial sets

asked Feb 24, 2011 at 23:25

Stack Exchange Network

113 Questions

Advantages of diffeological spaces over general sheaves

What do whitehead towers have to do with physics?

Connections between ultrafilters in topology and logic

Applications of topological and diferentiable stacks

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

A canonical and categorical construction for geometric realization

How much do universes matter in topos theory?

Homotopy types of schemes

Are there non-categorical notions in topos theory?

When do Kan extensions preserve limits/colimits?

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

Connections between topos theory and topology

Characterization of Kleisli adjunctions

Classification of Quasi-topoi

Adjoint functor theorem for infinity categories

Are all manifolds affine?

Are monads monadic?

What properties do "large topoi" share with actual topoi?

Automorphisms of Eilenberg-Mac Lane spaces and semidirect products (and the odd line)

Understanding the etale space construction from a formal viewpoint

Paracompact Hausdorff but not compactly generated?

Is every representable map a submersion?

Generalized smooth spaces and infinite dimensional manifolds

Locally a topos

Can one characterize those sheaves which have Hausdorff etale spaces?

When does a sheaf of categories represent a homotopy sheaf?

Connections on principal bundles via stacks?

A number encoding all primes

Canonical topology for infinity topoi revisited.

Historical question about simplicial sets