Ingo Blechschmidt

Member for 11 years, 10 months
Last seen more than a week ago

GitHub
ingo-blechschmidt.eu
Augsburg, Germany

Summary

Reputation

3,312

3.3k
2.9k
2.4k

2021
2022
2023
2024

Top tag

topos-theory

Next privilege

5,000 Rep.

Approve tag wiki edits

Badges

1

26

35

Newest

Nice Answer

Next badge

0/1

Informed

Impact

~68k

people reached

1

helpful flag

1,454

votes cast

Answers

View all 32 answers

41

Joyal's construction of the spectrum of a commutative ring

Nov 17, 2015

18

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

May 4, 2017

16

Locales as spaces of ideal/imaginary points

Jul 21, 2018

13

Do pretopoi have cohomology and homotopy groups?

Jan 24, 2022

12

Examples of statements that are valid in every spatial topos

Nov 26, 2022

Questions

View all 9 questions

16

Does every sheaf embed into a quasicoherent sheaf?

Nov 2, 2018

13

Constructively correct notion of unique factorization domain

Dec 15, 2013

12

What does the localic reflection of a classifying topos classify?

May 30, 2017

9

Base change in homotopy type theory

Dec 1, 2014

9

When are free modules on sheaves of sets quasicoherent?

Mar 4, 2017

Tags

View all 46 tags

topos-theory

133

Score

16

posts

ag.algebraic-geometry

106

Score

13

posts

lo.logic

97

Score

11

posts

ac.commutative-algebra

83

Score

11

posts

constructive-mathematics

61

Score

11

posts

Reputation

+20

Examples of statements that are valid in every spatial topos

+10

Tight apartness relations in toposes

+10

When can we prove constructively that a ring with unity has a maximal ideal?

+10

Joyal's construction of the spectrum of a commutative ring

Badges

View all badges

1

gold badge

Electorate

Nov 18, 2022

26

silver badges

Pundit

Feb 27
Guru

Jan 27, 2021
Civic Duty

Mar 22, 2016

35

bronze badges

Self-Learner

Jan 20
Excavator

May 20, 2014
Citizen Patrol

Nov 16, 2018

Accounts

View all 27 accounts

3,312
1
26
35

3,310
19
29

1,579
1
10
11

Science Fiction & Fantasy

233
1
5

181
2

Active bounties (0)

This user has no active bounties

Votes cast

1,454

upvotes

704

question votes

750

answer votes