Items

  1. a
    1. adjoint type theory
    2. algebraic geometry
    3. algebraic number theory
    4. algebraic statistics
    5. algebraic topology
    6. anabelian geometry
    7. analytic function
    8. analytic number theory
    9. analytical mechanics
    10. arithmetic geometry
    11. associative algebra
  2. b
    1. bayesian statistics
    2. beta function
  3. c
    1. category theory
    2. clifford algebra
    3. coding theory
    4. cohomology theory
    5. combinatorics
    6. combinatory logic
    7. commutative algebra
    8. commutative group
    9. complex analysis
    10. computability theory
    11. computational biology
    12. computational effect
    13. computational geometry
    14. constructive algebra
    15. cubical type theory
  4. d
    1. differential algebra
    2. differential calculus
    3. differential equation
    4. differential geometry
    5. differential topology
    6. diophantine geometry
    7. discrete differential geometry
    8. discrete geometry
    9. domain theory
  5. e
    1. effect
    2. electromagnetism
    3. elliptic integral
    4. ergodic theory
    5. exterior algebra
  6. f
    1. field theory
    2. floating-point arithmetic
    3. fourier analysis
    4. fractal
    5. free module
    6. functional analysis
    7. functional equation
  7. g
    1. galois theory
    2. gamma function
    3. gauge theory
    4. general relativity theory
    5. geometric algebra
    6. geometric topology
    7. graph theory
    8. group theory
  8. h
    1. harmonic analysis
    2. heyting algebra
    3. higher-order logic
    4. higher algebra
    5. higher category theory
    6. hilbert space
    7. homological algebra
    8. homology theory
    9. homotopical algebra
    10. homotopy theory
    11. homotopy type theory
    12. hopf algebra
    13. hypergeometric function
  9. i
    1. incidence algebra
    2. inductive type
    3. information geometry
    4. information theory
    5. integral calculus
    6. inter-universal teichmüller theory
  10. k
    1. k-theory
    2. knot theory
  11. l
    1. lambda calculus
    2. lambda cube
    3. legendre polynomials
    4. lie algebra
    5. linear algebra
    6. linear type theory
    7. locale
    8. logarithm
  12. m
    1. mathematical logic
    2. matroid
    3. measure theory
    4. metric space
    5. metric tensor
    6. modal type theory
    7. model theory
    8. module theory
    9. moment
    10. morse theory
    11. multilinear algebra
    12. multimodal type theory
    13. multivariable calculus
    14. multivariate analysis
    15. multivariate statistics
  13. n
    1. nominal
    2. non-standard analysis
    3. number theory
    4. numerical analysis
  14. o
    1. operator algebra
    2. operator theory
    3. order theory
    4. ordinal analysis
  15. p
    1. p-adic analysis
    2. polynomial
    3. postnikov system
    4. probability theory
    5. projective geometry
    6. proof theory
  16. q
    1. q-analog
    2. quadratic curve
    3. quantale
    4. quantum statistical mechanics
    5. quantum theory
    6. quantum type theory
  17. r
    1. real analysis
    2. realisability theory
    3. recursion scheme
    4. regular category
    5. regular expression
    6. representation theory
    7. reverse mathematics
    8. ricci calculus
    9. ring theory
  18. s
    1. semantics
    2. sequent calculus
    3. series
    4. set theory
    5. sheaf theory
    6. simplex
    7. simplex category
    8. simplicial type theory
    9. spectral theory
    10. star-algebra
    11. statistical mechanics
    12. superstring theory
    13. symplectic geometry
    14. synthetic differential geometry
    15. synthetic geometry
    16. synthetic topology
  19. t
    1. teichmüller space
    2. temporal type theory
    3. tensor network
    4. thermodynamics
    5. topological quantum computation
    6. topological quantum field theory
    7. topology
    8. topos theory
    9. trigonometric function
    10. two-level type theory
    11. type theory
  20. u
    1. universal algebra
  21. v
    1. variational calculus
    2. vector calculus
  22. w
    1. weil algebra