syn·thet·ic
adjoint type theory
algebraic geometry
algebraic number theory
algebraic statistics
algebraic topology
anabelian geometry
analytic function
analytic number theory
analytical mechanics
arithmetic geometry
associative algebra
bayesian statistics
beta function
category theory
clifford algebra
coding theory
cohomology theory
combinatorics
combinatory logic
commutative algebra
commutative group
complex analysis
computability theory
computational biology
computational effect
computational geometry
constructive algebra
cubical type theory
differential algebra
differential calculus
differential equation
differential geometry
differential topology
diophantine geometry
discrete differential geometry
discrete geometry
domain theory
effect
electromagnetism
elliptic integral
ergodic theory
exterior algebra
field theory
floating-point arithmetic
fourier analysis
fractal
free module
functional analysis
functional equation
galois theory
gamma function
gauge theory
general relativity theory
geometric algebra
geometric topology
graph theory
group theory
harmonic analysis
heyting algebra
higher-order logic
higher algebra
higher category theory
hilbert space
homological algebra
homology theory
homotopical algebra
homotopy theory
homotopy type theory
hopf algebra
hypergeometric function
incidence algebra
inductive type
information geometry
information theory
integral calculus
inter-universal teichmüller theory
k-theory
knot theory
lambda calculus
lambda cube
legendre polynomials
lie algebra
linear algebra
linear type theory
locale
logarithm
mathematical logic
matroid
measure theory
metric space
metric tensor
modal type theory
model theory
module theory
moment
morse theory
multilinear algebra
multimodal type theory
multivariable calculus
multivariate analysis
multivariate statistics
nominal
non-standard analysis
number theory
numerical analysis
operator algebra
operator theory
order theory
ordinal analysis
p-adic analysis
polynomial
postnikov system
probability theory
projective geometry
proof theory
q-analog
quadratic curve
quantale
quantum statistical mechanics
quantum theory
quantum type theory
real analysis
realisability theory
recursion scheme
regular category
regular expression
representation theory
reverse mathematics
ricci calculus
ring theory
semantics
sequent calculus
series
set theory
sheaf theory
simplex
simplex category
simplicial type theory
spectral theory
star-algebra
statistical mechanics
superstring theory
symplectic geometry
synthetic differential geometry
synthetic geometry
synthetic topology
teichmüller space
temporal type theory
tensor network
thermodynamics
topological quantum computation
topological quantum field theory
topology
topos theory
trigonometric function
two-level type theory
type theory
universal algebra
variational calculus
vector calculus
weil algebra