nLab Author — Max S. New

Overview

Max S. New has contributed to 148 nLab pages.

Most recent contributions

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

All pages contributed to