User David Carchedi

9 votes

1 answer

228 views

Flatness for infinity functors

asked Dec 13, 2011 at 16:53

9 votes

1 answer

539 views

Double Category of Topological Stacks

asked Jun 1, 2010 at 11:48

9 votes

3 answers

2k views

Infinity groupoid objects

asked Mar 20, 2010 at 14:10

9 votes

1 answer

810 views

Grothendieck fibrations and classifying spaces

asked May 15, 2013 at 17:34

9 votes

1 answer

451 views

Local smallness and (higher) topoi

asked Oct 26, 2013 at 12:30

9 votes

1 answer

398 views

Are topoi and etale geometric morphisms locally small?

asked Nov 11, 2013 at 0:50

8 votes

0 answers

852 views

Which sites in classical/derived algebraic geometry are hypercomplete?

asked Mar 1, 2013 at 22:38

8 votes

1 answer

321 views

Do non-subcanonical Grothendieck topologies always induce a category of fractions?

asked Jul 17, 2014 at 13:04

8 votes

0 answers

155 views

When does the natural simplicial enrichment of the category of cdgas compute the derived mapping space?

asked Aug 21, 2016 at 16:25

8 votes

1 answer

948 views

When is a stack (NOT) geometric?

asked Jun 7, 2010 at 22:22

8 votes

1 answer

1k views

Eilenberg–Moore algebras in terms of Kleisli ones

asked Jun 20, 2010 at 13:53

8 votes

2 answers

584 views

The Grothendieck plus construction for stacks of n-types

asked Nov 28, 2010 at 22:42

8 votes

1 answer

438 views

A slicker proof that an object must be initial

asked May 21, 2012 at 14:22

8 votes

1 answer

221 views

When does a site give rise to a Hausdorff topos

asked Dec 24, 2011 at 17:36

8 votes

1 answer

444 views

Separation condition for higher Deligne-Mumford stacks

asked Dec 24, 2011 at 20:25

7 votes

0 answers

298 views

Canonical topology for big infinity topoi

asked Dec 13, 2011 at 16:59

7 votes

1 answer

1k views

When does a submersion have connected fibers?

asked Jun 24, 2010 at 1:14

7 votes

4 answers

5k views

Cotangent bundle of a differentiable stack

asked May 13, 2010 at 12:57

7 votes

2 answers

517 views

Are categories of fibrant objects idempotent complete?

asked Feb 24, 2018 at 6:37

7 votes

2 answers

671 views

Direct proof that the model category of cdgas is left proper

asked May 1, 2015 at 2:36

7 votes

0 answers

210 views

Limits and colimits in a 2-category vs. in an infinity category: the non- (2,1)-case

asked Aug 21, 2014 at 1:29

7 votes

1 answer

1k views

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

asked Jul 14, 2014 at 17:04

7 votes

0 answers

241 views

High browed proof that a topos is sheaves over itself via the adjoint functor theorem?

asked Mar 5, 2013 at 22:07

7 votes

2 answers

809 views

Are reflective subcategories of complete infinity categories complete?

asked Jul 17, 2012 at 10:49

6 votes

0 answers

198 views

Is hypercompletion functorial?

asked Mar 1, 2013 at 0:51

6 votes

2 answers

264 views

Is there a name for (pre)sheaves satisfying this transitivity condition?

asked May 30, 2013 at 11:11

6 votes

1 answer

811 views

When does the Borel construction have the homotopy type of a CW-complex?

asked Mar 26, 2015 at 10:16

6 votes

3 answers

847 views

Two notions of tangent vector for a Fréchet manifold

asked Oct 22, 2010 at 16:25

6 votes

3 answers

649 views

Fibered category with an adjoint inclusion

asked Sep 23, 2010 at 14:49

6 votes

2 answers

553 views

Automorphism groups and etale topological stacks

asked May 8, 2011 at 1:01

Stack Exchange Network

113 Questions

Flatness for infinity functors

Double Category of Topological Stacks

Infinity groupoid objects

Grothendieck fibrations and classifying spaces

Local smallness and (higher) topoi

Are topoi and etale geometric morphisms locally small?

Which sites in classical/derived algebraic geometry are hypercomplete?

Do non-subcanonical Grothendieck topologies always induce a category of fractions?

When does the natural simplicial enrichment of the category of cdgas compute the derived mapping space?

When is a stack (NOT) geometric?

Eilenberg–Moore algebras in terms of Kleisli ones

The Grothendieck plus construction for stacks of n-types

A slicker proof that an object must be initial

When does a site give rise to a Hausdorff topos

Separation condition for higher Deligne-Mumford stacks

Canonical topology for big infinity topoi

When does a submersion have connected fibers?

Cotangent bundle of a differentiable stack

Are categories of fibrant objects idempotent complete?

Direct proof that the model category of cdgas is left proper

Limits and colimits in a 2-category vs. in an infinity category: the non- (2,1)-case

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

High browed proof that a topos is sheaves over itself via the adjoint functor theorem?

Are reflective subcategories of complete infinity categories complete?

Is hypercompletion functorial?

Is there a name for (pre)sheaves satisfying this transitivity condition?

When does the Borel construction have the homotopy type of a CW-complex?

Two notions of tangent vector for a Fréchet manifold

Fibered category with an adjoint inclusion

Automorphism groups and etale topological stacks