nLab Author — Max S. New

Overview

Max S. New has contributed to 145 nLab pages.

Most recent contributions

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

All pages contributed to