user avatar
user avatar
user avatar
Ingo Blechschmidt
  • Member for 9 years, 6 months
  • Last seen more than a week ago
14 votes
1 answer
1k views

Does every sheaf embed into a quasicoherent sheaf?

13 votes
1 answer
451 views

Constructively correct notion of unique factorization domain

11 votes
0 answers
337 views

What does the localic reflection of a classifying topos classify?

9 votes
0 answers
330 views

Reflection principle for intuitionistic Zermelo–Fraenkel?

8 votes
1 answer
415 views

Base change in homotopy type theory

8 votes
1 answer
269 views

When are free modules on sheaves of sets quasicoherent?

6 votes
1 answer
773 views

Explaining the consistency of PRA and ZF from predicative foundations

5 votes
1 answer
247 views

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

4 votes
2 answers
435 views

German translation of "locale" (from pointless topology)