Jon Sterling has contributed to 5 nLab pages.
| closed immersion of schemes | 15:09:45, August 30 2020 |
| accessible category | 16:14:12, May 11 2019 |
| Science of Logic | 13:14:08, April 03 2019 |
| Freyd cover | 21:30:29, December 31 2018 |
| guarded recursion | 13:53:52, June 30 2018 |