Top network posts
- 18$\infty$-topos and localic $\infty$-groupoids?
- 13$\infty$-categorical interpretation of type theory
- 12What 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?
- 10Is there a name for a "rigid" sheaf?
- 10Does "equalisers always closed" imply $T_2$?
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.