Top Network Posts
- 18$\infty$-topos and localic $\infty$-groupoids?
- 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?
- 10Are $\infty$-topoi determined by their localic points ?
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.