user avatar
user avatar
user avatar
Ingo Blechschmidt
  • Member for 9 years, 6 months
  • Last seen more than a week ago
40 votes
Accepted

Joyal's construction of the spectrum of a commutative ring

16 votes
Accepted

Locales as spaces of ideal/imaginary points

13 votes

Do pretopoi have cohomology and homotopy groups?

11 votes
Accepted

Properties of the petit Zariski topos

11 votes
Accepted

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

10 votes
Accepted

Constructive proof that a kernel consists of nilpotent elements

9 votes

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

9 votes

Tight apartness relations in toposes

8 votes

Alternate proofs of Hilberts Basis Theorem

7 votes
Accepted

Classifying Space of "Valuation Ringed Spaces over a Topos"

7 votes
Accepted

Points of the big Zariski site

6 votes

What is the functor tensor product?

6 votes

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

5 votes

Tweetable Mathematics

5 votes

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

5 votes

What does overtness mean for metric spaces?

4 votes

Pure first order logic formulations of Markov's principle

4 votes

Grothendieck spectral sequence and Mayer-Vietoris sequence

4 votes

The upper semi-continuous rank of a module sheaf

4 votes

constructive Serre classes

4 votes

Is there a universal property for graded localization?

3 votes

Does 'finite + finitely presented as an algebra' equal 'finitely presented as a module'?

2 votes

Topos theory reference suitable for undergraduates

2 votes

What is the extra property of this sheaf?

2 votes

Can the methods of classical algebraic geometry be made rigorous with a synthetic approach?

2 votes

What does an ideal correspond to in the internal language of sheaves?

1 vote

Affine communication lemma and finite limits in the category of rings