Max S. New has contributed to 160 nLab pages.

relative adjoint functor | 16:09:02, May 08 2024 |

ternary frame | 10:56:29, March 15 2024 |

Sandbox | 11:38:13, March 14 2024 |

ternary frame | 11:34:30, March 14 2024 |

Grothendieck fibration | 12:00:08, March 08 2024 |

premonoidal category | 23:08:22, February 27 2024 |

functor comprehension principle | 04:39:45, February 27 2024 |

principle of unique choice | 04:38:17, February 27 2024 |

subterminal object | 04:18:28, February 22 2024 |

Grothendieck topos | 22:12:03, February 17 2024 |

subcategory | 17:35:29, February 09 2024 |

sheaf toposes are equivalently the left exact reflective subcategories of presheaf toposes | 03:18:44, February 09 2024 |

multifunctor | 22:39:53, February 08 2024 |

categorical semantics of dependent type theory | 20:44:17, February 02 2024 |

category of presheaves | 21:46:11, January 30 2024 |

monoidal topos | 14:05:22, January 19 2024 |

monoidal topos | 16:56:43, January 15 2024 |

axiom of choice | 22:46:41, December 22 2023 |

bi-pointed object | 22:45:46, December 22 2023 |

initial algebra of an endofunctor | 15:49:38, November 30 2023 |

Adámek's fixed point theorem | 15:48:18, November 30 2023 |

distributive category | 23:46:29, November 27 2023 |

existential quantifier | 13:22:27, November 09 2023 |

semifunctor | 19:15:48, October 03 2023 |

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 |

- (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
- axiom of choice
- bi-pointed object
- Bishop's constructive mathematics
- braided monoidal category
- call-by-push-value
- cartesian logic
- cartesian monoidal category
- catamorphism
- categorical semantics of dependent type theory
- category of presheaves
- 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
- existential quantifier
- 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
- functor comprehension principle
- funny tensor product
- Galilean group
- geometry of physics -- differential forms
- graph of a functor
- Grothendieck fibration
- Grothendieck topos
- 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
- monoidal topos
- 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 adjoint functor
- relative monad
- representability determines functoriality
- Rezk completion
- Sandbox
- saturated subset
- Schanuel topos
- second order algebraic theory
- selection monad
- semicartesian monoidal category
- semifunctor
- sequent calculus
- sheaf toposes are equivalently the left exact reflective subcategories of presheaf toposes
- side effect
- sieve
- simple type theory
- split idempotent
- strong monad
- subcategory
- subformula property
- subterminal object
- sum type
- synthetic computability theory
- synthetic domain theory
- synthetic guarded domain theory
- synthetic mathematics
- synthetic Tait computability
- System F
- tabulator
- ternary frame
- thunk-force category
- topos of trees
- traced monoidal category
- triple category
- type of propositions
- virtual double category
- weak adjoint
- weak representation of a functor