User Simon Henry

106 votes

4 answers

13k views

What is the mistake in the proof of the Homotopy hypothesis by Kapranov and Voevodsky?

asked Mar 25, 2016 at 11:47

47 votes

2 answers

5k views

The two ways Feynman diagrams appear in mathematics

asked Dec 3, 2017 at 9:23

33 votes

1 answer

792 views

Proof assistant for working in weaker foundations?

asked Mar 7, 2018 at 22:48

25 votes

0 answers

1k views

$\infty$-topos and localic $\infty$-groupoids?

asked Apr 8, 2012 at 20:23

25 votes

1 answer

1k views

Is the opposite category of commutative von Neumann algebras a topos?

asked Feb 18, 2021 at 19:34

24 votes

3 answers

2k views

Dualizable object in the category of locally presentable categories

asked Jul 2, 2019 at 20:38

21 votes

2 answers

1k views

$\infty$-categorical interpretation of type theory

asked Jul 19, 2013 at 8:49

20 votes

3 answers

1k views

$\operatorname{Ind}(C^I) = \operatorname{Ind}(C)^I$?

asked Mar 3, 2023 at 23:35

19 votes

2 answers

1k views

A "universally non Hypercomplete" $\infty$-topos via Goodwillie calculus?

asked Aug 27, 2015 at 9:44

18 votes

1 answer

666 views

Equivalences of categories of sheaves vs categories of $\infty$-Stack

asked Dec 1, 2018 at 9:32

18 votes

2 answers

876 views

Groupoid cardinality of the class of abelian p-groups

asked Apr 10, 2022 at 13:28

17 votes

1 answer

591 views

A new (?) way of composing monads

asked Oct 3, 2022 at 23:24

17 votes

3 answers

691 views

Large "internal" categories and "finite" products

asked Nov 4 at 0:09

17 votes

1 answer

777 views

Idempotent ring spectrum

asked Apr 22, 2018 at 1:36

17 votes

4 answers

2k views

reference request : constructive measure theory

asked Sep 10, 2013 at 9:32

16 votes

1 answer

1k views

Link between internal groupoids and stacks on a topos ?

asked Apr 13, 2012 at 11:03

16 votes

2 answers

934 views

Counter-example to the existence of left Bousfield localization of combinatorial model category

asked Mar 13, 2019 at 21:08

16 votes

1 answer

437 views

Descent of Higher categorical structures along geometric morphisms

asked Mar 9, 2016 at 16:26

15 votes

2 answers

954 views

Are strict $\infty$-categories localized at weak equivalences a full subcategory of weak $\infty$-categories?

asked Apr 21, 2017 at 16:48

15 votes

1 answer

496 views

Well pointed endofunctors on $\infty$-categories

asked Dec 4, 2019 at 20:50

15 votes

1 answer

505 views

Comonadicity of spaces over spectra?

asked Apr 18, 2018 at 18:41

15 votes

1 answer

2k views

Topos Without point, from the point of view of logic

asked Jun 3, 2012 at 17:35

15 votes

3 answers

2k views

Ordinals in constructive mathematics ? (references)

asked Jun 1, 2015 at 15:02

15 votes

1 answer

505 views

On diagrams in model categories and rectification

asked Oct 27, 2021 at 17:11

15 votes

1 answer

614 views

presentability rank of categories of coalgebras

asked Jan 13, 2020 at 16:04

15 votes

0 answers

402 views

Dennis trace map for stable $\infty$-category, naively

asked Apr 7, 2020 at 15:49

14 votes

1 answer

296 views

Detecting weak equivalence on free loop space homology

asked Apr 26, 2020 at 13:43

14 votes

1 answer

571 views

"Scott completion" of dcpo

asked Nov 13, 2018 at 15:52

14 votes

0 answers

185 views

Limits in free cocompletion, constructively

asked Sep 1, 2023 at 19:00

13 votes

0 answers

391 views

Looking for an invariant similar to algebraic K-theory

asked Apr 13, 2020 at 23:47

Stack Exchange Network

105 Questions

What is the mistake in the proof of the Homotopy hypothesis by Kapranov and Voevodsky?

The two ways Feynman diagrams appear in mathematics

Proof assistant for working in weaker foundations?

$\infty$-topos and localic $\infty$-groupoids?

Is the opposite category of commutative von Neumann algebras a topos?

Dualizable object in the category of locally presentable categories

$\infty$-categorical interpretation of type theory

$\operatorname{Ind}(C^I) = \operatorname{Ind}(C)^I$?

A "universally non Hypercomplete" $\infty$-topos via Goodwillie calculus?

Equivalences of categories of sheaves vs categories of $\infty$-Stack

Groupoid cardinality of the class of abelian p-groups

A new (?) way of composing monads

Large "internal" categories and "finite" products

Idempotent ring spectrum

reference request : constructive measure theory

Link between internal groupoids and stacks on a topos ?

Counter-example to the existence of left Bousfield localization of combinatorial model category

Descent of Higher categorical structures along geometric morphisms

Are strict $\infty$-categories localized at weak equivalences a full subcategory of weak $\infty$-categories?

Well pointed endofunctors on $\infty$-categories

Comonadicity of spaces over spectra?

Topos Without point, from the point of view of logic

Ordinals in constructive mathematics ? (references)

On diagrams in model categories and rectification

presentability rank of categories of coalgebras

Dennis trace map for stable $\infty$-category, naively

Detecting weak equivalence on free loop space homology

"Scott completion" of dcpo

Limits in free cocompletion, constructively

Looking for an invariant similar to algebraic K-theory