User Ingo Blechschmidt - TeX - LaTeX Meta Stack Exchange

Ingo Blechschmidt

Member for 10 years, 6 months
Last seen more than a month ago

GitHub
ingo-blechschmidt.eu
Augsburg, Germany

Stats

161

reputation

0

reached

0

answers

0

questions

Communities

Badges

This user has not earned any badges.

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

40

Joyal's construction of the spectrum of a commutative ring

23

What does a proof in an internal logic actually look like?

16

Locales as spaces of ideal/imaginary points

16

Does every sheaf embed into a quasicoherent sheaf?

15

Elementary topoi have initial objects, why?