Skip the Navigation Links
follow
#navEnd
All Pages
follow
/nlab/all_pages
Latest Revisions
follow
/nlab/latest_revisions
Discuss this page
follow
https://nforum.ncatlab.org/discussion/3545/#Item_70
nLab
follow
/nlab/show/HomePage
About
follow
/nlab/show/About
Content
follow
/nlab/show/Content
Mathematics
follow
/nlab/show/mathematics
Physics
follow
/nlab/show/physics
Philosophy
follow
/nlab/show/philosophy
Community
follow
/nlab/show/Community
nForum
follow
http://www.math.ntnu.no/~stacey/Mathforge/nForum/
Latest Changes
follow
http://www.math.ntnu.no/~stacey/Mathforge/nForum/?CategoryID=5
HowTo
follow
/nlab/show/HowTo
FAQ
follow
/nlab/show/FAQ
Contributors
follow
/nlab/show/Contributors
Inbound Citations
follow
/nlab/show/inbound+citations
Uploaded Files
follow
https://ncatlab.org/nlab/file_list
Sandbox
follow
/nlab/show/Sandbox
All Webs
follow
https://ncatlab.org/web_list
Math Resources
follow
/nlab/show/math+resources
Edit this sidebar
follow
/nlab/edit/contents
mathematics
follow
/nlab/show/mathematics
math resources
follow
/nlab/show/math+resources
history of mathematics
follow
/nlab/show/history+of+mathematics
Structural Foundations
follow
/nlab/show/foundations
logic
follow
/nlab/show/logic
internal language
follow
/nlab/show/internal+language
classical mathematics
follow
/nlab/show/classical+mathematics
constructive mathematics
follow
/nlab/show/constructive+mathematics
predicative mathematics
follow
/nlab/show/predicative+mathematics
category:foundational axiom
follow
https://ncatlab.org/nlab/list/foundational+axiom
set theory
follow
/nlab/show/set+theory
structural set theory
follow
/nlab/show/structural+set+theory
category theory
follow
/nlab/show/category+theory
Categories and Sheaves
follow
/nlab/show/Categories+and+Sheaves
topos theory
follow
/nlab/show/topos+theory
Sheaves in Geometry and Logic
follow
/nlab/show/Sheaves+in+Geometry+and+Logic
higher category theory
follow
/nlab/show/higher+category+theory
higher topos theory
follow
/nlab/show/higher+topos+theory
(∞,1)-topos theory
follow
/nlab/show/Higher+Topos+Theory
models for ∞-stack (∞,1)-toposes
follow
/nlab/show/models+for+%E2%88%9E-stack+%28%E2%88%9E%2C1%29-toposes
cohomology
follow
/nlab/show/cohomology
homotopy theory
follow
/nlab/show/homotopy+theory
stable homotopy theory
follow
/nlab/show/stable+homotopy+theory
rational homotopy theory
follow
/nlab/show/rational+homotopy+theory
Topology and Geometry
follow
/nlab/show/topology+and+geometry
geometry
follow
/nlab/show/geometry
topology
follow
/nlab/show/topology
general topology
follow
/nlab/show/general+topology
differential topology
follow
/nlab/show/differential+topology
differential geometry
follow
/nlab/show/differential+geometry
synthetic differential geometry
follow
/nlab/show/synthetic+differential+geometry
symplectic geometry
follow
/nlab/show/symplectic+geometry
algebraic geometry
follow
/nlab/show/algebraic+geometry
noncommutative algebraic geometry
follow
/nlab/show/noncommutative+algebraic+geometry
noncommutative geometry
follow
/nlab/show/noncommutative+geometry
higher geometry
follow
/nlab/show/higher+geometry
Algebra
follow
/nlab/show/algebra
universal algebra
follow
/nlab/show/universal+algebra
higher algebra
follow
/nlab/show/higher+algebra
homological algebra
follow
/nlab/show/homological+algebra
group theory
follow
/nlab/show/group+theory
ring theory
follow
/nlab/show/ring+theory
representation theory
follow
/nlab/show/representation+theory
algebraic approaches to differential calculus
follow
/nlab/show/algebraic+approaches+to+differential+calculus
counterexamples in algebra
follow
/nlab/show/counterexamples+in+algebra
analysis
follow
/nlab/show/analysis
nonstandard analysis
follow
/nlab/show/nonstandard+analysis
functional analysis
follow
/nlab/show/functional+analysis
operator algebras
follow
/nlab/show/operator+algebras
Fourier transform
follow
/nlab/show/Fourier+transform
Lie theory
follow
/nlab/show/Lie+theory
higher Lie theory
follow
/nlab/show/infinity-Lie+theory+-+contents
probability theory
follow
/nlab/show/probability+theory
discrete mathematics
follow
/nlab/show/discrete+mathematics
Edit this sidebar
follow
/nlab/edit/mathematicscontents
physics
follow
/nlab/show/physics
mathematical physics
follow
/nlab/show/mathematical+physics
philosophy of physics
follow
/nlab/show/philosophy+of+physics
(higher) category theory and physics
follow
/nlab/show/higher+category+theory+and+physics
geometry of physics
follow
/nlab/show/geometry+of+physics
books and reviews
follow
/nlab/show/books+and+reviews+in+mathematical+physics
physics resources
follow
/nlab/show/physics+resources
theory (physics)
follow
/nlab/show/theory+%28physics%29
model (physics)
follow
/nlab/show/model+%28physics%29
experiment
follow
/nlab/show/experiment
measurement
follow
/nlab/show/measurement
computable physics
follow
/nlab/show/computable+physics
mechanics
follow
/nlab/show/mechanics
mass
follow
/nlab/show/mass
charge
follow
/nlab/show/charge
momentum
follow
/nlab/show/momentum
angular momentum
follow
/nlab/show/angular+momentum
moment of inertia
follow
/nlab/show/moment+of+inertia
dynamics on Lie groups
follow
/nlab/show/dynamics+on+Lie+groups
rigid body dynamics
follow
/nlab/show/rigid+body+dynamics
field (physics)
follow
/nlab/show/field+%28physics%29
Lagrangian mechanics
follow
/nlab/show/Lagrangian+mechanics
configuration space
follow
/nlab/show/configuration+space
state
follow
/nlab/show/state
action functional
follow
/nlab/show/action+functional
Lagrangian
follow
/nlab/show/Lagrangian
covariant phase space
follow
/nlab/show/covariant+phase+space
Euler-Lagrange equations
follow
/nlab/show/Euler-Lagrange+equations
Hamiltonian mechanics
follow
/nlab/show/Hamiltonian+mechanics
phase space
follow
/nlab/show/phase+space
symplectic geometry
follow
/nlab/show/symplectic+geometry
Poisson manifold
follow
/nlab/show/Poisson+manifold
symplectic manifold
follow
/nlab/show/symplectic+manifold
symplectic groupoid
follow
/nlab/show/symplectic+groupoid
multisymplectic geometry
follow
/nlab/show/multisymplectic+geometry
n-symplectic manifold
follow
/nlab/show/n-symplectic+manifold
spacetime
follow
/nlab/show/spacetime
smooth Lorentzian manifold
follow
/nlab/show/smooth+Lorentzian+manifold
special relativity
follow
/nlab/show/special+relativity
general relativity
follow
/nlab/show/general+relativity
gravity
follow
/nlab/show/gravity
supergravity
follow
/nlab/show/supergravity
dilaton gravity
follow
/nlab/show/dilaton+gravity
black hole
follow
/nlab/show/black+hole
Classical field theory
follow
/nlab/show/classical+field+theory
classical physics
follow
/nlab/show/classical+physics
classical mechanics
follow
/nlab/show/classical+mechanics
waves
follow
/nlab/show/waves
optics
follow
/nlab/show/optics
thermodynamics
follow
/nlab/show/thermodynamics
Quantum Mechanics
follow
/nlab/show/quantum+mechanics
in terms of ∞-compact categories
follow
/nlab/show/quantum+mechanics+in+terms+of+dagger-compact+categories
quantum information
follow
/nlab/show/quantum+information
Hamiltonian operator
follow
/nlab/show/Hamiltonian+operator
density matrix
follow
/nlab/show/density+matrix
Kochen-Specker theorem
follow
/nlab/show/Kochen-Specker+theorem
Bell"s theorem
follow
/nlab/show/Bell%27s+theorem
Gleason"s theorem
follow
/nlab/show/Gleason%27s+theorem
Quantization
follow
/nlab/show/quantization
geometric quantization
follow
/nlab/show/geometric+quantization
deformation quantization
follow
/nlab/show/deformation+quantization
path integral quantization
follow
/nlab/show/path+integral
semiclassical approximation
follow
/nlab/show/semiclassical+approximation
Quantum Field Theory
follow
/nlab/show/quantum+field+theory
algebraic QFT
follow
/nlab/show/AQFT
Wightman axioms
follow
/nlab/show/Wightman+axioms
Haag-Kastler axioms
follow
/nlab/show/Haag-Kastler+axioms
operator algebra
follow
/nlab/show/operator+algebra
local net
follow
/nlab/show/local+net
conformal net
follow
/nlab/show/conformal+net
Reeh-Schlieder theorem
follow
/nlab/show/Reeh-Schlieder+theorem
Osterwalder-Schrader theorem
follow
/nlab/show/Osterwalder-Schrader+theorem
PCT theorem
follow
/nlab/show/PCT+theorem
Bisognano-Wichmann theorem
follow
/nlab/show/Bisognano-Wichmann+theorem
modular theory
follow
/nlab/show/modular+theory
spin-statistics theorem
follow
/nlab/show/spin-statistics+theorem
boson
follow
/nlab/show/boson
fermion
follow
/nlab/show/fermion
functorial QFT
follow
/nlab/show/FQFT
cobordism
follow
/nlab/show/cobordism
(∞,n)-category of cobordisms
follow
/nlab/show/%28%E2%88%9E%2Cn%29-category+of+cobordisms
cobordism hypothesis
follow
/nlab/show/cobordism+hypothesis
extended topological quantum field theory
follow
/nlab/show/extended+topological+quantum+field+theory
perturbative quantum field theory
follow
/nlab/show/perturbative+quantum+field+theory
vacuum
follow
/nlab/show/vacuum
effective quantum field theory
follow
/nlab/show/effective+quantum+field+theory
renormalization
follow
/nlab/show/renormalization
BV-BRST formalism
follow
/nlab/show/BV-BRST+formalism
geometric ∞-function theory
follow
/nlab/show/geometric+%E2%88%9E-function+theory
particle physics
follow
/nlab/show/particle+physics
phenomenology
follow
/nlab/show/phenomenology
models
follow
/nlab/show/model+%28in+particle+phyiscs%29
standard model of particle physics
follow
/nlab/show/standard+model+of+particle+physics
fields and quanta
follow
/nlab/show/fields+and+quanta+-+table
Grand Unified Theories
follow
/nlab/show/GUT
MSSM
follow
/nlab/show/MSSM
scattering amplitude
follow
/nlab/show/scattering+amplitude
on-shell recursion
follow
/nlab/show/on-shell+recursion
KLT relations
follow
/nlab/show/KLT+relations
universality class
follow
/nlab/show/universality+class
quantum anomaly
follow
/nlab/show/quantum+anomaly
Green-Schwarz mechanism
follow
/nlab/show/Green-Schwarz+mechanism
instanton
follow
/nlab/show/instanton
spontaneously broken symmetry
follow
/nlab/show/spontaneously+broken+symmetry
Kaluza-Klein mechanism
follow
/nlab/show/Kaluza-Klein+mechanism
integrable systems
follow
/nlab/show/integrable+systems
holonomic quantum fields
follow
/nlab/show/holonomic+quantum+fields
TQFT
follow
/nlab/show/TQFT
2d TQFT
follow
/nlab/show/2d+TQFT
Dijkgraaf-Witten theory
follow
/nlab/show/Dijkgraaf-Witten+theory
Chern-Simons theory
follow
/nlab/show/Chern-Simons+theory
TCFT
follow
/nlab/show/TCFT
A-model
follow
/nlab/show/A-model
B-model
follow
/nlab/show/B-model
homological mirror symmetry
follow
/nlab/show/homological+mirror+symmetry
QFT with defects
follow
/nlab/show/QFT+with+defects
conformal field theory
follow
/nlab/show/conformal+field+theory
(1,1)-dimensional Euclidean field theories and K-theory
follow
/nlab/show/%281%2C1%29-dimensional+Euclidean+field+theories+and+K-theory
(2,1)-dimensional Euclidean field theory and elliptic cohomology
follow
/nlab/show/%282%2C1%29-dimensional+Euclidean+field+theory
CFT
follow
/nlab/show/CFT
WZW model
follow
/nlab/show/WZW+model
6d (2,0)-supersymmetric QFT
follow
/nlab/show/6d+%282%2C0%29-supersymmetric+QFT
gauge theory
follow
/nlab/show/gauge+theory
field strength
follow
/nlab/show/field+strength
gauge group
follow
/nlab/show/gauge+group
gauge transformation
follow
/nlab/show/gauge+transformation
gauge fixing
follow
/nlab/show/gauge+fixing
electromagnetic field
follow
/nlab/show/electromagnetic+field
QED
follow
/nlab/show/QED
electric charge
follow
/nlab/show/electric+charge
magnetic charge
follow
/nlab/show/magnetic+charge
Yang-Mills field
follow
/nlab/show/Yang-Mills+field
QCD
follow
/nlab/show/QCD
Yang-Mills theory
follow
/nlab/show/Yang-Mills+theory
spinors in Yang-Mills theory
follow
/nlab/show/spinors+in+Yang-Mills+theory
topological Yang-Mills theory
follow
/nlab/show/topological+Yang-Mills+theory
Kalb-Ramond field
follow
/nlab/show/Kalb-Ramond+field
supergravity C-field
follow
/nlab/show/supergravity+C-field
RR field
follow
/nlab/show/RR+field
first-order formulation of gravity
follow
/nlab/show/first-order+formulation+of+gravity
general covariance
follow
/nlab/show/general+covariance
supergravity
follow
/nlab/show/supergravity
D"Auria-Fre formulation of supergravity
follow
/nlab/show/D%27Auria-Fre+formulation+of+supergravity
gravity as a BF-theory
follow
/nlab/show/gravity+as+a+BF-theory
sigma-model
follow
/nlab/show/sigma-model
particle
follow
/nlab/show/particle
relativistic particle
follow
/nlab/show/relativistic+particle
fundamental particle
follow
/nlab/show/fundamental+particle
spinning particle
follow
/nlab/show/spinning+particle
superparticle
follow
/nlab/show/superparticle
string
follow
/nlab/show/string
spinning string
follow
/nlab/show/spinning+string
superstring
follow
/nlab/show/superstring
membrane
follow
/nlab/show/membrane
AKSZ theory
follow
/nlab/show/AKSZ+theory
String Theory
follow
/nlab/show/string+theory
string theory results applied elsewhere
follow
/nlab/show/string+theory+results+applied+elsewhere
number theory and physics
follow
/nlab/show/number+theory+and+physics
Riemann hypothesis and physics
follow
/nlab/show/Riemann+hypothesis+and+physics
Edit this sidebar
follow
/nlab/edit/physicscontents
hints
follow
/nlab/show/Searching+the+nLab
This
follow
/nlab/show/About
wiki
follow
https://en.wikipedia.org/wiki/Wiki
Mathematics
follow
/nlab/show/Mathematics
Physics
follow
/nlab/show/Physics
Philosophy
follow
/nlab/show/Philosophy
n-point of view
follow
/nlab/show/n-point+of+view
category theory
follow
/nlab/show/category+theory
higher category theory
follow
/nlab/show/higher+category+theory
nForum, discussion, comments, and questions
follow
#Discussion
Contributing to the nnLab
follow
#Contributing
Viewing and editing the nLab
follow
#SoftwareRequirements
Making use of material from the nnLab
follow
#TermsOfUse
Server and setup
follow
#Server
Steering Committee
follow
#SteeringCommitte
What is… the nLab?
follow
/schreiber/show/What+is...+the+nLab
About
follow
/nlab/show/About
nForum
follow
https://nforum.ncatlab.org
Welcome to the nForum
follow
/nlabmeta/show/Welcome+to+the+nForum
below
follow
#SoftwareRequirements
HowTo
follow
/nlab/show/HowTo
nForum
follow
https://nforum.ncatlab.org
MathML
follow
https://en.wikipedia.org/wiki/MathML
theorem environments
follow
https://ncatlab.org/nlab/show/HowTo#DefinitionTheoremProofEnvironments
commutative diagrams
follow
https://ncatlab.org/nlab/show/HowTo#diagrams
Markdown
follow
https://en.wikipedia.org/wiki/Markdown
HowTo
follow
/nlab/show/HowTo
nForum
follow
https://nforum.ncatlab.org
steering committee
follow
#SteeringCommitte
Urs Schreiber
follow
/nlab/show/Urs+Schreiber
HoTT MURI grant
follow
https://homotopytypetheory.org/2014/04/29/hott-awarded-a-muri/
Topos Institute
follow
https://topos.institute/
funding of the nLab
follow
/nlab/show/funding+of+the+nLab
Richard Williamson
follow
/nlab/show/Richard+Williamson
Alexis Hazell
follow
/nlab/show/Alexis+Hazell
contact us
follow
https://nforum.ncatlab.org
GitHub
follow
https://github.com/ncatlab/nlab
Instiki
follow
https://golem.ph.utexas.edu/wiki/instiki/show/HomePage
nLab Technical Matters
follow
https://nforum.ncatlab.org/21/
nForum
follow
https://nforum.ncatlab.org/
on GitHub
follow
https://github.com/ncatlab/nlab/issues
Jake Bian
follow
/nlab/show/Jake+Bian
Kan browser extension
follow
https://sites.google.com/keplr.io/kan
David Roberts
follow
/nlab/show/David+Roberts
La Gerbe
follow
https://collections.lacma.org/node/207557
higher structures
follow
/schreiber/show/Higher+Structures
gerbes
follow
/nlab/show/gerbes
computational trinitarianism
follow
/nlab/show/computational+trinitarianism
progression of modalities
follow
/nlab/show/Science+of+Logic
nPOV
follow
/nlab/show/nPOV
steering committee
follow
/nlabmeta/show/steering+committee
meta
follow
/nlab/all_pages/meta
history
follow
https://ncatlab.org/nlab/history/HomePage
Edit Page
nofollow
/nlab/edit/HomePage
Edit Web
nofollow
/nlab/edit_web
Discuss
follow
https://nforum.ncatlab.org/discussion/3545/#Item_70
Previous revision
nofollow
/nlab/revision/HomePage/286
Changes from previous revision
nofollow
/nlab/show/diff/HomePage
History (286 revisions)
nofollow
/nlab/history/HomePage
Cite
follow
https://ncatlab.org/nlab/show/HomePage/cite
Print
nofollow
/nlab/print/HomePage
Source
nofollow
/nlab/source/HomePage