User Simon Henry

13 votes

0 answers

483 views

Examples of non-proper model structure

asked Aug 24, 2019 at 14:21

13 votes

1 answer

474 views

Is there any references on the tensor product of presentable (1-)categories?

asked Mar 23, 2019 at 11:56

12 votes

3 answers

760 views

On model categories where every object is bifibrant

asked Mar 29, 2019 at 8:53

12 votes

1 answer

433 views

On a surprising property of free theories

asked Aug 2, 2018 at 6:22

12 votes

0 answers

158 views

Known obstruction for efficient computation of Stable homotopy groups?

asked Sep 18, 2018 at 11:22

12 votes

2 answers

625 views

n-categorical pasting diagram overview

asked May 24, 2017 at 13:33

12 votes

1 answer

439 views

Grothendieck toposes in (very) weak foundation

asked Aug 13, 2015 at 20:34

12 votes

1 answer

532 views

Are $\infty$-topoi determined by their localic points ?

asked Jan 22, 2013 at 11:53

11 votes

1 answer

861 views

Barr's theorem and constructivity?

asked Sep 15, 2013 at 14:18

11 votes

2 answers

2k views

Relation between topos and $\infty$-topos

asked Mar 28, 2012 at 13:18

11 votes

2 answers

666 views

Non smallness of the set of anafunctors without AC?

asked Mar 14, 2017 at 10:34

11 votes

0 answers

332 views

$\Gamma$-sets vs $\Gamma$-spaces

asked Mar 18, 2019 at 17:12

11 votes

1 answer

702 views

Correspondences of $\infty$-categories

asked Dec 22, 2019 at 15:50

11 votes

1 answer

723 views

Free category with product and coproduct

asked May 8, 2020 at 16:00

11 votes

0 answers

221 views

On an Artin (?) subgroup of braid groups

asked Nov 2, 2022 at 2:58

10 votes

0 answers

252 views

Colimits of algebras for $\infty$-Monad

asked Sep 17, 2018 at 8:50

10 votes

3 answers

962 views

classifying $\infty$-toposes for topological/localic groups?

asked Jan 20, 2014 at 13:12

9 votes

0 answers

254 views

Testing for equivalences of $\infty$-categories on strictifications?

asked Oct 25, 2018 at 15:24

9 votes

1 answer

175 views

Reference request: a lemma on universes and polynomial monads

asked Nov 15, 2022 at 0:12

9 votes

0 answers

195 views

Every locally presentable $\infty$-category can be presented by a proper model category

asked Oct 22, 2022 at 18:46

9 votes

0 answers

166 views

Proper model category for "categories with finite limits"

asked Jul 13, 2020 at 13:31

8 votes

2 answers

332 views

example of "really" non-existent transferred model structure

asked Dec 1, 2021 at 22:43

8 votes

1 answer

282 views

About the characterization of categories of model of algebraic theories

asked Apr 6 at 20:40

8 votes

1 answer

458 views

Left Bousfield localization without properness, what is known?

asked May 23, 2018 at 8:34

8 votes

1 answer

180 views

$\mathcal{O}_{\infty}$ and $\mathcal{Z}$ stable isomorphism as equivalence

asked Mar 2, 2016 at 14:17

8 votes

1 answer

470 views

A model structure on semi-simplicial algebraic Kan complexes?

asked Jul 15, 2016 at 22:11

8 votes

1 answer

316 views

Do coherent toposes descend along open surjection?

asked Mar 2, 2014 at 10:23

8 votes

0 answers

235 views

Fibrations of the injective model structure on G-simplicial sets

asked Oct 17, 2014 at 11:44

8 votes

1 answer

401 views

Freely adding degeneracies does not change the homotopy type

asked Oct 28, 2014 at 18:38

8 votes

0 answers

103 views

Locales satisfying DC?

asked Oct 15, 2015 at 13:00

Stack Exchange Network

105 Questions

Examples of non-proper model structure

Is there any references on the tensor product of presentable (1-)categories?

On model categories where every object is bifibrant

On a surprising property of free theories

Known obstruction for efficient computation of Stable homotopy groups?

n-categorical pasting diagram overview

Grothendieck toposes in (very) weak foundation

Are $\infty$-topoi determined by their localic points ?

Barr's theorem and constructivity?

Relation between topos and $\infty$-topos

Non smallness of the set of anafunctors without AC?

$\Gamma$-sets vs $\Gamma$-spaces

Correspondences of $\infty$-categories

Free category with product and coproduct

On an Artin (?) subgroup of braid groups

Colimits of algebras for $\infty$-Monad

classifying $\infty$-toposes for topological/localic groups?

Testing for equivalences of $\infty$-categories on strictifications?

Reference request: a lemma on universes and polynomial monads

Every locally presentable $\infty$-category can be presented by a proper model category

Proper model category for "categories with finite limits"

example of "really" non-existent transferred model structure

About the characterization of categories of model of algebraic theories

Left Bousfield localization without properness, what is known?

$\mathcal{O}_{\infty}$ and $\mathcal{Z}$ stable isomorphism as equivalence

A model structure on semi-simplicial algebraic Kan complexes?

Do coherent toposes descend along open surjection?

Fibrations of the injective model structure on G-simplicial sets

Freely adding degeneracies does not change the homotopy type

Locales satisfying DC?