nLab Editing equality and equivalence - contents

Syntax tips

The basic syntax is extended Markdown.
Links to other nLab pages should be made by surrounding the name of the page in double square brackets: [[ name of page ]]. To link to an nLab page but show a different link text, do the following: [[ name of page | link text to show ]].
LaTeX can be used inside single dollar signs (inline) or double dollar signs or \[ and \], as usual.
To create a table of contents, add \tableofcontents on its own line.
For a theorem or proof, use \begin{theorem} \end{theorem} as you would in LaTeX. Labelling and referencing is exactly as in LaTeX, with use of \label and \ref. The full list of supported environments can be found in the HowTo.
Tikz can be used for figures almost exactly as in LaTeX. Similarly, tikz-cd and xymatrix can be used for commutative diagrams. See the HowTo.
As an alternative to the Markdown syntax for sections (headings), one can use the usual LaTeX syntax \section, \subsection, etc.
For further help, see the HowTo, or you are very welcome to ask at the nForum.

**[[equivalence]]**

* [[equality]] ([[definitional equality|definitional]], [[propositional equality|propositional]], [[computational equality|computational]], [[judgemental equality|judgemental]], [[extensional equality|extensional]], [[intensional equality|intensional]], [[decidable equality|decidable]])

* [[identity type]], [[equivalence of types]], [[definitional isomorphism]]

* [[isomorphism]], [[weak equivalence]], [[homotopy equivalence]], [[weak homotopy equivalence]], [[equivalence in an (∞,1)-category]]

* [[natural equivalence]], [[natural isomorphism]]

* [[gauge equivalence]]

* **Examples.**

* [[equivalence of categories]], [[adjoint equivalence]], [[weak equivalence of internal categories]], [[Morita equivalence]], [[equivalence of 2-categories]], [[equivalence of (∞,1)-categories]]

**[[principle of equivalence]]**

* [[univalence]]

**[[equation]]**

* [[fiber product]], [[pullback]]

* [[homotopy pullback]]

* **Examples.**

* [[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]]

<div markdown="1">[Edit this sidebar](/nlab/edit/equality+and+equivalence+-+contents)</div>

Change page name.
New name:

For non-trivial edits, please briefly describe your changes below. Your comments will be added to the nForum discussion thread for this page, which can also be used for further discussion related to this page. For trivial edits, such as correcting typos, please leave the box below empty; feel free to ask for advice at the nForum if you are unsure.

as | Cancel (unlocks page)