Top Network Posts
- 19$\infty$-topos and localic $\infty$-groupoids?
- 19The formal p-adic numbers
- 14Does "equalisers always closed" imply $T_2$?
- 13$\infty$-categorical interpretation of type theory
- 13What is the smallest variety of algebras containing all fields?
- 12Complete Boolean algebra not isomorphic to a $\sigma$-algebra
- 11Between compact and locally uniform: What is the name of this convergence?
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.