MathOverflow
Ingo Blechschmidt's user avatar
Ingo Blechschmidt's user avatar
Ingo Blechschmidt's user avatar
Ingo Blechschmidt
  • Member for 11 years, 2 months
  • Last seen this week
Profile Activity
Stats
3,162
reputation
65k
reached
31
answers
9
questions
Communities
View all
Badges
View all badges
1
gold badge
26
silver badges
33
bronze badges
Top tags
View all tags
121
Score
15
Posts
38
Posts %
98
Score
12
Posts
30
Posts %
92
Score
11
Posts
28
Posts %
80
Score
11
Posts
28
Posts %
59
Score
11
Posts
28
Posts %
49
Score
9
Posts
22
Posts %
Top posts
View all questions and answers
answer
40
Joyal's construction of the spectrum of a commutative ring
Nov 17, 2015
question
16
Does every sheaf embed into a quasicoherent sheaf?
Nov 2, 2018
answer
16
Locales as spaces of ideal/imaginary points
Jul 21, 2018
answer
15
Is the theory of vector bundles just linear algebra done in a suitable topos?
May 4, 2017
question
13
Constructively correct notion of unique factorization domain
Dec 15, 2013
answer
13
Do pretopoi have cohomology and homotopy groups?
Jan 24, 2022
question
12
What does the localic reflection of a classifying topos classify?
May 30, 2017
answer
11
Constructive proof that a kernel consists of nilpotent elements
Sep 22, 2016
answer
11
Properties of the petit Zariski topos
Oct 13, 2016
answer
11
What does the Zariski topos of $\mathbb{P}^1$ classify?
May 13, 2017
Top network posts
View all network posts
24
What does a proof in an internal logic actually look like?
17
What are topoi?
15
Elementary topoi have initial objects, why?
15
Is every commutative ring having the invariant basis number property equivalent to AC?
13
What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?