Max S. New has contributed to 148 nLab pages.
| cartesian logic | 19:02:34, July 03 2023 |
| promonoidal category | 14:58:58, June 26 2023 |
| exponential object | 16:54:06, June 16 2023 |
| first-order hyperdoctrine | 01:01:51, June 15 2023 |
| coreader comonad | 16:03:48, June 08 2023 |
| coreader comonad | 13:17:04, June 04 2023 |
| coreader comonad | 21:47:40, June 03 2023 |
| coreader comonad | 19:35:31, June 03 2023 |
| coreader comonad | 17:36:50, June 03 2023 |
| Grothendieck fibration | 17:23:14, June 03 2023 |
| Grothendieck fibration | 15:22:29, June 03 2023 |
| multifunctor | 14:21:15, May 30 2023 |
| Rezk completion | 20:14:00, May 25 2023 |
| monoidal functor | 15:11:01, April 20 2023 |
| oidification - table | 21:02:35, April 17 2023 |
| promonoidal category | 02:32:54, April 07 2023 |
| Kock-Lawvere axiom | 21:37:44, April 04 2023 |
| fixed point of an adjunction | 12:39:18, March 28 2023 |
| internal site | 02:31:41, March 09 2023 |
| call-by-push-value | 14:47:09, February 11 2023 |
| multifunctor | 21:41:03, February 10 2023 |
| multi-adjoint | 15:13:49, February 05 2023 |
| parametric right adjoint | 15:12:43, February 05 2023 |
| function extensionality | 03:21:44, January 21 2023 |
| function extensionality | 18:28:32, January 20 2023 |
| function extensionality | 16:21:40, January 19 2023 |
| horizontal categorification | 15:24:53, January 11 2023 |
| higher-order abstract syntax | 07:39:01, January 02 2023 |
| logical framework | 07:29:07, January 02 2023 |
| synthetic Tait computability | 17:11:48, December 28 2022 |