Ingo Blechschmidt

Augsburg, Germany

top accounts reputation activity favorites subscriptions

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

Constructively correct notion of unique factorization domain

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

mathoverflow.net

12 votes

Novella where two vast digital civilizations simulate each other

story-identification novella asked Jan 29 at 16:11

scifi.stackexchange.com

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

8 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

7 votes

Explaining the consistency of PRA and ZF from predicative foundations

set-theory lo.logic mathematical-philosophy foundations constructive-mathematics asked Feb 17 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

Top Answers

Run git pull over all subdirectories

stackoverflow.com

Joyal's construction of the spectrum of a commutative ring

mathoverflow.net

What does a proof in an internal logic actually look like?

math.stackexchange.com

Locales as spaces of ideal/imaginary points

mathoverflow.net

Properties of the petit Zariski topos

mathoverflow.net

Is the theory of vector bundles just linear algebra done in a suitable topos?

mathoverflow.net

Constructive proof that a kernel consists of nilpotent elements

mathoverflow.net

Elementary topoi have initial objects, why?

math.stackexchange.com

Examples of the benefits of Homotopy Type Theory for computer aided proofs?

math.stackexchange.com

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

mathoverflow.net

Classifying Space of “Valuation Ringed Spaces over a Topos”

mathoverflow.net

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

What are topoi?

math.stackexchange.com

What is the functor tensor product?

mathoverflow.net

Alternate proofs of Hilberts Basis Theorem

mathoverflow.net

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

mathoverflow.net

Tweetable Mathematics

mathoverflow.net

Points of the big Zariski site

mathoverflow.net

Why Zariski topology?

math.stackexchange.com

current community

your communities

more stack exchange communities

Stack Exchange

Ingo Blechschmidt

Does every sheaf embed into a quasicoherent sheaf?

Constructively correct notion of unique factorization domain

Novella where two vast digital civilizations simulate each other

Reflection principle for intuitionistic Zermelo–Fraenkel?

Base change in homotopy type theory

When are free modules on sheaves of sets quasicoherent?

What does the localic reflection of a classifying topos classify?

Explaining the consistency of PRA and ZF from predicative foundations

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