Equality and Equivalence
equality (definitional, propositional, computational, judgemental, extensional, intensional, decidable)
identity type, equivalence in homotopy type theory
isomorphism, weak equivalence, homotopy equivalence, weak homotopy equivalence, equivalence in an (∞,1)-category
natural equivalence, natural isomorphism
principle of equivalence
fiber product, pullback
linear equation, differential equation, ordinary differential equation, critical locus
Euler-Lagrange equation, Einstein equation, wave equation
Schrödinger equation, Knizhnik-Zamolodchikov equation, Maurer-Cartan equation, quantum master equation, Euler-Arnold equation, Fuchsian equation, Fokker-Planck equation, Lax equation
For a smooth function, a critical point is a point at which the derivative vanishes.
The collection of all critical points is also called the critical locus of .
A formalization of this in cohesive geometry is at cohesive (infinity,1)-topos – infinitesimal cohesion – critical locus.
Revised on October 8, 2015 06:54:42
by Urs Schreiber