a biased, not fully faithful geometric representation of mathematics

arrows indicate how to take the quotient

finance maths
by axel sarlin and innokentij zotov measure-theoretic
PDE ergodic theory probability theory
updated 2017-02-08 21:10
harmonic analysis dynamical systems
measure theory
analysis
quantum physics functional analysis geometric measure theory
complex analysis
quantum symplectic *
riemannian geometry
information theory lie theory geometry
differential geometry **
representation differential topology
theory alg. and top. K-theory top. graph
commutative algebra theory
homological algebra topology knot theory
non-commutative algebraic geometry
computational algebra algebra and geometry low-dimensional topology
arithmetic and algebraic topology
algebra tropical
diophantine geometry

geometry algebraic number theory homotopy theory

group theory category theory topos theory ***

homotopy type theory * the gray shape is supposed to
cryptography algebraic combinatorics loosely represent various
logic aspects of geometry
combinatorics
model theory
discrete maths proof theory
decision theory ** many physical subjects, such as
gauge theory, 4-manifolds and
discrete probability computability theory relativity could be placed around
theory graph theory here
set theory

representation theory is hard to place: it has many connections to e.g. *** the n-lab perspective on modern physics
number theory, differential geometry, harmonic analysis, combinatorics... would end up in here somewhere
whilst not really a research subject on its own, linear algebra would fit in here. Some still
active aspects of it could be considered computational or commutative algebra...