Stack Exchange

Ingo Blechschmidt

Augsburg, Germany

top accounts reputation activity bookmarks subscriptions
Top Questions
14 votes

Does every sheaf embed into a quasicoherent sheaf?

ag.algebraic-geometry sheaf-cohomology quasi-coherent-modules asked Nov 2 '18 at 3:12
mathoverflow.net

12 votes

Novella where two vast digital civilizations simulate each other

story-identification novella asked Jan 29 '19 at 16:11
scifi.stackexchange.com

12 votes

Constructively correct notion of unique factorization domain

ac.commutative-algebra constructive-mathematics asked Dec 15 '13 at 16:38
mathoverflow.net

10 votes

What does the localic reflection of a classifying topos classify?

topos-theory locales categorical-logic asked May 30 '17 at 23:38
mathoverflow.net

9 votes

Reflection principle for intuitionistic Zermelo–Fraenkel?

set-theory lo.logic constructive-mathematics asked Dec 15 '18 at 21:00
mathoverflow.net

8 votes

Base change in homotopy type theory

lo.logic infinity-topos-theory homotopy-type-theory asked Dec 1 '14 at 11:37
mathoverflow.net

8 votes

When are free modules on sheaves of sets quasicoherent?

sheaf-theory schemes topos-theory quasi-coherent-modules asked Mar 4 '17 at 9:47
mathoverflow.net

7 votes

Explaining the consistency of PRA and ZF from predicative foundations

set-theory lo.logic mathematical-philosophy foundations constructive-mathematics asked Feb 17 '19 at 23:37
mathoverflow.net

6 votes

Best practice for dealing with Dirichlet boundary conditions in finite-difference schemes: add artificial unknowns?

finite-difference boundary-conditions asked Jul 19 '16 at 21:53
scicomp.stackexchange.com

5 votes

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

homotopy-theory homological-algebra simplicial-stuff sheaf-cohomology asked Jan 20 at 23:15
mathoverflow.net


Top Answers
74
Run git pull over all subdirectories
stackoverflow.com

40
Joyal's construction of the spectrum of a commutative ring
mathoverflow.net

17
What does a proof in an internal logic actually look like?
math.stackexchange.com

16
Locales as spaces of ideal/imaginary points
mathoverflow.net

13
Elementary topoi have initial objects, why?
math.stackexchange.com

11
Examples of the benefits of Homotopy Type Theory for computer aided proofs?
math.stackexchange.com

11
Constructive proof that a kernel consists of nilpotent elements
mathoverflow.net

11
Properties of the petit Zariski topos
mathoverflow.net

11
Is the theory of vector bundles just linear algebra done in a suitable topos?
mathoverflow.net

9
What are topoi?
math.stackexchange.com

9
What does the Zariski topos of $\mathbb{P}^1$ classify?
mathoverflow.net

8
What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?
math.stackexchange.com

8
Is every commutative ring having the invariant basis number property equivalent to AC?
math.stackexchange.com

8
Tight apartness relations in toposes
mathoverflow.net

7
Finitely generated projective modules are locally free
math.stackexchange.com

7
Classifying Space of “Valuation Ringed Spaces over a Topos”
mathoverflow.net

6
What is the functor tensor product?
mathoverflow.net

6
Alternate proofs of Hilberts Basis Theorem
mathoverflow.net

6
Constructively, is the unit of the “free abelian group” monad on sets injective?
mathoverflow.net

5
How do you work with infinitesimal exponents in synthetic differential geometry?
math.stackexchange.com

5
Why Zariski topology?
math.stackexchange.com

5
Stack semantics for the layman
math.stackexchange.com

5
Smooth real line and Dedekind cuts
math.stackexchange.com

5
What monads can be expressed as Free over some functor?
stackoverflow.com

5
Tweetable Mathematics
mathoverflow.net

5
Points of the big Zariski site
mathoverflow.net