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 |

- (n × k)-category
- action of a monoidal category
- adjoint functor
- admissible rule
- Adámek's fixed point theorem
- affine monad
- Agda
- anafunction
- arity space
- Awodey's proposal
- Bishop's constructive mathematics
- braided monoidal category
- call-by-push-value
- cartesian logic
- cartesian monoidal category
- catamorphism
- categorical semantics of dependent type theory
- cocomplete category
- codensity monad
- coherence space
- coherent space
- comma double category
- complete category
- connected space
- continuous category
- coreader comonad
- coreduced object
- De Morgan Heyting algebra
- differential cohesive (infinity,1)-topos
- differential cohesive homotopy type theory
- differential forms in synthetic differential geometry
- displayed category
- distributive category
- domain theory
- dominance
- double profunctor
- duploid
- dynamical system
- effect handler
- eta-conversion
- exponent of a group
- exponential object
- extranatural transformation
- first-order hyperdoctrine
- fixed point of an adjunction
- fixed point operator
- flabby sheaf
- formally étale morphism
- Freyd category
- function extensionality
- funny tensor product
- Galilean group
- geometry of physics -- differential forms
- graph of a functor
- Grothendieck fibration
- heteromorphism
- higher-order abstract syntax
- horizontal categorification
- infinitesimally thickened Sierpinski topos
- initial algebra of an endofunctor
- Initiality Project - Raw Syntax
- internal site
- Introduction to Topology -- 2
- Kleene's fixed point theorem
- Kleisli category
- Kleisli category of a comonad
- Kock-Lawvere axiom
- Kolmogorov topological space
- language
- Lawvere theory
- left cancellative category > history
- Lie n-groupoid
- linear logic
- linear-non-linear logic
- LNL polycategory
- logic programming
- logical framework
- logical relation
- Löb's theorem
- Martin-Löf dependent type theory
- Max S. New
- monadic adjunction
- monoidal functor
- multi-adjoint
- multifunctor
- multimorphism
- natural deduction
- nominal set
- oidification - table
- over-topos
- parametric right adjoint
- Paul Blain Levy
- polarity in type theory
- polycategory
- polynomial
- poset-valued set
- premonoidal category
- premulticategory
- principle of unique choice
- probability theory
- profunctor
- programming language
- promonoidal category
- PROP
- pseudotopological space
- pure type system
- quasi-Borel space
- quasitopos
- recursion scheme
- red herring principle
- reduction modality
- reflective subcategory
- regular category
- regular language
- relation between type theory and category theory
- relative monad
- representability determines functoriality
- Rezk completion
- Sandbox
- saturated subset
- Schanuel topos
- second order algebraic theory
- selection monad
- semicartesian monoidal category
- semifunctor
- sequent calculus
- side effect
- sieve
- simple type theory
- split idempotent
- strong monad
- subformula property
- sum type
- synthetic computability theory
- synthetic domain theory
- synthetic guarded domain theory
- synthetic mathematics
- synthetic Tait computability
- System F
- tabulator
- thunk-force category
- topos of trees
- traced monoidal category
- triple category
- type of propositions
- virtual double category
- weak adjoint
- weak representation of a functor