Max S. New has contributed to 145 nLab pages.
| 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 |
| synthetic guarded domain theory | 23:24:31, November 23 2022 |
| synthetic guarded domain theory | 16:27:26, November 22 2022 |
| relative monad | 18:54:06, November 17 2022 |
| Kleene's fixed point theorem | 19:51:10, November 13 2022 |
| initial algebra of an endofunctor | 16:48:10, November 13 2022 |