User Ingo Blechschmidt

16 votes

1 answer

1k views

Does every sheaf embed into a quasicoherent sheaf?

asked Nov 2, 2018 at 3:12

13 votes

1 answer

640 views

Constructively correct notion of unique factorization domain

asked Dec 15, 2013 at 16:38

12 votes

0 answers

432 views

What does the localic reflection of a classifying topos classify?

asked May 30, 2017 at 23:38

9 votes

1 answer

451 views

Base change in homotopy type theory

asked Dec 1, 2014 at 11:37

9 votes

1 answer

332 views

When are free modules on sheaves of sets quasicoherent?

asked Mar 4, 2017 at 9:47

9 votes

0 answers

381 views

Reflection principle for intuitionistic Zermelo–Fraenkel?

asked Dec 15, 2018 at 21:00

7 votes

2 answers

1k views

Explaining the consistency of PRA and ZF from predicative foundations

asked Feb 17, 2019 at 23:37

6 votes

1 answer

385 views

Elementary proof of the exactness of Čech complex associated to a hypercovering ("Illusie's Conjecture")

asked Jan 20, 2021 at 23:15

5 votes

2 answers

458 views

German translation of "locale" (from pointless topology)

asked Jan 3, 2014 at 17:44

Stack Exchange Network

9 Questions

Does every sheaf embed into a quasicoherent sheaf?

Constructively correct notion of unique factorization domain

What does the localic reflection of a classifying topos classify?

Base change in homotopy type theory

When are free modules on sheaves of sets quasicoherent?

Reflection principle for intuitionistic Zermelo–Fraenkel?

Explaining the consistency of PRA and ZF from predicative foundations

Elementary proof of the exactness of Čech complex associated to a hypercovering ("Illusie's Conjecture")

German translation of "locale" (from pointless topology)