Top Network Posts
- 22The formal p-adic numbers
- 20$\infty$-topos and localic $\infty$-groupoids?
- 18Is each closed convex set a manifold with corners?
- 14Does "equalisers always closed" imply $T_2$?
- 14Complete Boolean algebra not isomorphic to a $\sigma$-algebra
- 13What is the smallest variety of algebras containing all fields?
- 13$\infty$-categorical interpretation of type theory
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.