nLab
Author — David Jaz Myers

Overview

David Jaz Myers has contributed to 10 nLab pages.

Most recent contributions

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

All pages contributed to