David Jaz Myers has contributed to 10 nLab pages.
| Hahn-Banach theorem | 18:40:02, September 20 2021 |
| lens (in computer science) | 14:54:41, September 05 2021 |
| modality | 01:22:40, December 08 2020 |
| mathematics presented in homotopy type theory | 00:40:03, December 08 2020 |
| logical topology | 00:27:10, November 10 2020 |
| formal smooth infinity-groupoid | 20:42:59, February 03 2020 |
| Bousfield–Kan spectral sequence | 19:56:50, February 03 2020 |
| David Jaz Myers | 13:54:06, March 16 2019 |
| bounded geometric morphism | 11:35:51, July 02 2018 |
| category of G-sets | 20:18:35, January 17 2018 |