Stack Exchange

Ingo Blechschmidt

Augsburg, Germany

top accounts reputation activity favorites subscriptions
Top Questions
Top Answers
49
Run git pull over all subdirectories
stackoverflow.com

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

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

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

11
Properties of the petit Zariski topos
mathoverflow.net

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

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

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

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

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

7
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

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

6
What are topoi?
math.stackexchange.com

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

6
What is the functor tensor product?
mathoverflow.net

5
Tweetable Mathematics
mathoverflow.net

5
Points of the big Zariski site
mathoverflow.net

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

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

5
Why Zariski topology?
math.stackexchange.com