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 |