Top network posts
- 37 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 →