Skip to main content
MathOverflow
Ingo Blechschmidt's user avatar
Ingo Blechschmidt's user avatar
Ingo Blechschmidt's user avatar
Ingo Blechschmidt
  • Member for 11 years, 10 months
  • Last seen more than a week ago
Profile Activity
Stats
3,312
reputation
68k
reached
32
answers
9
questions
Communities
View all
Badges
View all badges
1
gold badge
26
silver badges
35
bronze badges
Top tags
View all tags
133
Score
16
Posts
39
Posts %
106
Score
13
Posts
32
Posts %
97
Score
11
Posts
27
Posts %
83
Score
11
Posts
27
Posts %
61
Score
11
Posts
27
Posts %
53
Score
9
Posts
22
Posts %
Top posts
View all questions and answers
answer
41
Joyal's construction of the spectrum of a commutative ring
Nov 17, 2015
answer
18
Is the theory of vector bundles just linear algebra done in a suitable topos?
May 4, 2017
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
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
12
Examples of statements that are valid in every spatial topos
Nov 26, 2022
answer
12
Tight apartness relations in toposes
Feb 23, 2020
answer
11
What does the Zariski topos of $\mathbb{P}^1$ classify?
May 13, 2017
Top network posts
View all network posts
25
What does a proof in an internal logic actually look like?
20
What are topoi?
16
Elementary topoi have initial objects, why?
15
Is every commutative ring having the invariant basis number property equivalent to AC?
15
What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?