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 |