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 |