- MathOverflow 2.3k 2.3k 1414 silver badges2121 bronze badges
- Mathematics 1.8k 1.8k 1010 silver badges1717 bronze badges
- Stack Overflow 701 701 55 silver badges88 bronze badges
- Science Fiction & Fantasy 223 223 11 silver badge55 bronze badges
- Computational Science 153 153 44 bronze badges
- View network profile →
Top network posts
- 38 Joyal's construction of the spectrum of a commutative ring
- 15 What does a proof in an internal logic actually look like?
- 15 Locales as spaces of ideal/imaginary points
- 13 Does every sheaf embed into a quasicoherent sheaf?
- 12 Constructively correct notion of unique factorization domain
- 12 Novella where two vast digital civilizations simulate each other
- 11 Properties of the petit Zariski topos
- View more network posts →