algebraic quantum field theory (perturbative, on curved spacetimes, homotopical)

quantum mechanical system, subsystem

quantum observable

local net of observables

causal locality

Haag-Kastler axioms

Wightman axioms

field net

conformal net

quantum states,

cyclic vector, separating vector

quasi-free state

vacuum state

Hadamard state

quantization

covariant phase space

Peierls-Poisson bracket, causal propagator

causal perturbation theory, perturbative AQFT

Wick algebra

microcausal functionals

normal ordered product

S-matrix, scattering amplitude

causal additivity

time-ordered product, Feynman propagator

Feynman diagram, Feynman perturbation series

interacting field algebra

Kochen-Specker theorem

Gleason's theorem

Wigner theorem

GNS construction

modular theory

Fell's theorem

Stone-von Neumann theorem

Haag's theorem

Reeh-Schlieder theorem

Bisognano-Wichmann theorem

PCT theorem

spin-statistics theorem

DHR superselection theory