Ingo Blechschmidt

Augsburg, Germany

top accounts reputation activity subscriptions

Does every sheaf embed into a quasicoherent sheaf?

ag.algebraic-geometry sheaf-cohomology quasi-coherent-modules asked Nov 2, 2018 at 3:12

mathoverflow.net

13 votes

Constructively correct notion of unique factorization domain

ac.commutative-algebra constructive-mathematics asked Dec 15, 2013 at 16:38

mathoverflow.net

13 votes

Novella where two vast digital civilizations simulate each other

story-identification novella asked Jan 29, 2019 at 16:11

scifi.stackexchange.com

12 votes

What does the localic reflection of a classifying topos classify?

topos-theory locales categorical-logic asked May 30, 2017 at 23:38

mathoverflow.net

9 votes

Base change in homotopy type theory

lo.logic infinity-topos-theory homotopy-type-theory asked Dec 1, 2014 at 11:37

mathoverflow.net

9 votes

When are free modules on sheaves of sets quasicoherent?

sheaf-theory schemes topos-theory quasi-coherent-modules asked Mar 4, 2017 at 9:47

mathoverflow.net

9 votes

Reflection principle for intuitionistic Zermelo–Fraenkel?

set-theory lo.logic constructive-mathematics asked Dec 15, 2018 at 21:00

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, 2019 at 23:37

mathoverflow.net

6 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, 2021 at 23:15

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, 2016 at 21:53

scicomp.stackexchange.com

Top Answers

124

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

Elementary topoi have initial objects, why?

math.stackexchange.com

What are topoi?

math.stackexchange.com

Is every commutative ring having the invariant basis number property equivalent to AC?

math.stackexchange.com

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

mathoverflow.net

Do pretopoi have cohomology and homotopy groups?

mathoverflow.net

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

math.stackexchange.com

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

Constructive proof that a kernel consists of nilpotent elements

mathoverflow.net

Properties of the petit Zariski topos

mathoverflow.net

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

mathoverflow.net

Finitely generated projective modules are locally free

math.stackexchange.com

Tight apartness relations in toposes

mathoverflow.net

Examples of statements that are valid in every spatial topos

mathoverflow.net

Alternate proofs of Hilberts Basis Theorem

mathoverflow.net

Stack semantics for the layman

math.stackexchange.com

Points of the big Zariski site

mathoverflow.net

Classifying Space of "Valuation Ringed Spaces over a Topos"

mathoverflow.net

Triple negation in intuitionistic logic?

math.stackexchange.com

When can we prove constructively that a ring with unity has a maximal ideal?

mathoverflow.net

Construction of the petit Zariski topos out of the gros topos of a scheme

mathoverflow.net

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

mathoverflow.net

What monads can be expressed as Free over some functor?

stackoverflow.com

Smooth real line and Dedekind cuts

math.stackexchange.com

What is the functor tensor product?

mathoverflow.net

Why Zariski topology?

math.stackexchange.com

How do you work with infinitesimal exponents in synthetic differential geometry?

math.stackexchange.com