Jonathan Weinberger has contributed to 9 nLab pages.
Rzk | 04:18:25, October 06 2023 |
simplicial type theory | 22:12:59, July 13 2023 |
Egbert Rijke | 08:47:48, January 13 2023 |
Egbert Rijke | 17:24:50, January 12 2023 |
formal (infinity,1)-category theory | 11:51:06, December 29 2022 |
Jonathan Weinberger | 00:29:18, September 24 2022 |
Jonathan Weinberger | 11:27:36, August 15 2022 |
cubical-type model category | 02:31:52, August 15 2022 |
Jonathan Weinberger | 02:17:31, August 15 2022 |
Jonathan Weinberger | 00:00:01, August 09 2022 |
homotopy factorization system | 04:47:08, February 13 2021 |
(infinity,1)-category | 11:44:14, May 20 2019 |
Initiality Project | 15:17:46, October 03 2018 |