User David Carchedi

31 votes

5 answers

3k views

Advantages of Diffeological Spaces over General Sheaves

asked Dec 7, 2010 at 15:31

26 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

20 votes

6 answers

2k views

A canonical and categorical construction for geometric realization

asked Jun 16, 2010 at 12:45

20 votes

2 answers

1k views

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

asked Nov 23, 2014 at 4:15

17 votes

1 answer

2k views

How much do universes matter in topos theory?

asked Oct 1, 2012 at 22:58

17 votes

2 answers

2k views

Homotopy types of schemes

asked Sep 10, 2015 at 18:32

16 votes

1 answer

1k views

Are there non-categorical notions in topos theory?

asked Apr 4, 2013 at 1:35

15 votes

2 answers

1k views

Classification of Quasi-topoi

asked Oct 6, 2010 at 17:50

15 votes

1 answer

586 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

655 views

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

asked Nov 28, 2013 at 18:25

14 votes

5 answers

1k views

Connections between topos theory and topology

asked Mar 5, 2013 at 22:20

14 votes

1 answer

659 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

798 views

Characterization of Kleisli adjunctions

asked May 26, 2010 at 22:03

13 votes

1 answer

2k views

Understanding the etale space construction from a formal viewpoint

asked Aug 18, 2010 at 19:16

12 votes

1 answer

497 views

Locally a topos

asked Oct 19, 2010 at 23:06

12 votes

0 answers

1k views

Paracompact Hausdorff but not compactly generated?

asked May 18, 2011 at 15:07

12 votes

1 answer

508 views

Is every representable map a submersion?

asked Aug 2, 2011 at 17:27

12 votes

0 answers

1k views

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

asked Nov 11, 2014 at 1:58

11 votes

3 answers

3k views

When do Kan extensions preserve limits/colimits?

asked Nov 12, 2012 at 1:51

11 votes

2 answers

705 views

Generalized smooth spaces and infinite dimensional manifolds

asked Jun 29, 2010 at 23:38

10 votes

2 answers

1k views

Canonical topology for infinity topoi revisited.

asked Apr 25, 2012 at 16:59

10 votes

3 answers

3k views

A number encoding all primes

asked May 11, 2010 at 17:43

10 votes

3 answers

1k views

Connections on principal bundles via stacks?

asked Apr 20, 2010 at 13:51

10 votes

0 answers

497 views

When does a sheaf of categories represent a homotopy sheaf?

asked Jul 3, 2014 at 16:32

9 votes

1 answer

726 views

Grothendieck fibrations and classifying spaces

asked May 15, 2013 at 17:34

9 votes

1 answer

438 views

Local smallness and (higher) topoi

asked Oct 26, 2013 at 12:30

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

A canonical and categorical construction for geometric realization

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

How much do universes matter in topos theory?

Homotopy types of schemes

Are there non-categorical notions in topos theory?

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?

Connections between topos theory and topology

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

Characterization of Kleisli adjunctions

Understanding the etale space construction from a formal viewpoint

Locally a topos

Paracompact Hausdorff but not compactly generated?

Is every representable map a submersion?

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

When do Kan extensions preserve limits/colimits?

Generalized smooth spaces and infinite dimensional manifolds

Canonical topology for infinity topoi revisited.

A number encoding all primes

Connections on principal bundles via stacks?

When does a sheaf of categories represent a homotopy sheaf?

Grothendieck fibrations and classifying spaces

Local smallness and (higher) topoi