nLab Author — Jonathan Weinberger

Overview

Jonathan Weinberger has contributed to 9 nLab pages.

Most recent contributions

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

All pages contributed to