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, 2018 at 3:12
mathoverflow.net

12 votes

Constructively correct notion of unique factorization domain

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

12 votes

Novella where two vast digital civilizations simulate each other

story-identification novella asked Jan 29, 2019 at 16:11
scifi.stackexchange.com

11 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

Reflection principle for intuitionistic Zermelo–Fraenkel?

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

8 votes

Base change in homotopy type theory

lo.logic infinity-topos-theory homotopy-type-theory asked Dec 1, 2014 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, 2017 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, 2019 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, 2016 at 21:53
scicomp.stackexchange.com

5 votes

Tensoring a connective chain complex with a simplicial set

homological-algebra tensor-products simplicial-stuff monoidal-categories model-categories asked Feb 15, 2016 at 18:33
math.stackexchange.com

1 2

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

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

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

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

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

13
Do pretopoi have cohomology and homotopy groups?
mathoverflow.net

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

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

11
What are topoi?
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'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

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

9
Tight apartness relations in toposes
mathoverflow.net

8
Alternate proofs of Hilberts Basis Theorem
mathoverflow.net

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

7
Stack semantics for the layman
math.stackexchange.com

7
Points of the big Zariski site
mathoverflow.net

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

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

6
Why Zariski topology?
math.stackexchange.com

6
Triple negation in intuitionistic logic?
math.stackexchange.com

6
What is the functor tensor product?
mathoverflow.net

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

5
Strange definition of spectrum?
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
Construction of the petit Zariski topos out of the gros topos of a scheme
mathoverflow.net

1 2