As of May 31, 2023, we have updated our Code of Conduct.
MathOverflow
Ingo Blechschmidt's user avatar
Ingo Blechschmidt's user avatar
Ingo Blechschmidt's user avatar
Ingo Blechschmidt
  • Member for 10 years, 3 months
  • Last seen more than a week ago
Profile Activity
Stats
3,062
reputation
61k
reached
30
answers
9
questions
Communities
View all
Badges
View all badges
1
gold badge
23
silver badges
30
bronze badges
Top tags
View all tags
119
Score
15
Posts
38
Posts %
97
Score
12
Posts
31
Posts %
85
Score
10
Posts
26
Posts %
76
Score
11
Posts
28
Posts %
55
Score
10
Posts
26
Posts %
47
Score
9
Posts
23
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
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
14
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
21
What does a proof in an internal logic actually look like?
15
Elementary topoi have initial objects, why?
14
What are topoi?
13
Is every commutative ring having the invariant basis number property equivalent to AC?
13
Novella where two vast digital civilizations simulate each other

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.