nLab Author — David Jaz Myers

Overview

David Jaz Myers has contributed to 10 nLab pages.

Most recent contributions

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

All pages contributed to