Terence Tao's cheap nonstandard analysis can be interpreted as taking place in a topos related to the topos $\text{Set}^{\mathbb{N}}$ of sets indexed by the natural numbers; see this math.SE question for details.
Qiaochu Yuan
- 118.2k
- 40
- 447
- 741