nLab Author — Max S. New

Overview

Max S. New has contributed to 159 nLab pages.

Most recent contributions

All pages contributed to

• (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 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