algebraic quantum field theory (locally covariant perturbative, homotopical)

quantum mechanical system, subsystem

quantum observable

causal locality

local net of observables

Haag-Kastler axioms

Wightman axioms

causal net

field net

conformal net

quantum states,

cyclic vector, separating vector

quasi-free state

Hadamard state

quantization

covariant phase space

Poisson-Peierls bracket

Wick algebra, microcausal functionals

causal perturbation theory

locally covariant perturbative AQFT

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