nLab
Sign in to saveAlso known as ncatlab.org
The '''nLab' is a wiki for research-level notes, expositions and collaborative work. It includes original research in mathematics, physics, and philosophy with a focus on methods from type theory, category theory, and homotopy theory. The nLab espouses the "n''-point of view" (a deliberate pun on Wikipedia's "neutral point of view"), which is that type theory, homotopy theory, category theory, and higher category theory provide a useful, unifying viewpoint for mathematics, physics and philosophy.
Wikidata facts
- Instance of
- Wiki
- Main subject
- category theory
- Official website
- ncatlab.org
- Has use
- scientific method
Show 1 more fact
- official forum URL
- nforum.ncatlab.org
via Wikidata · CC0
~3 min read
Encyclopedic overview
4 sectionsContents
- Overview
- See also
- References
- External links
The '''nLab' is a wiki for research-level notes, expositions and collaborative work. It includes original research in mathematics, physics, and philosophy with a focus on methods from type theory, category theory, and homotopy theory. The nLab espouses the "n''-point of view" (a deliberate pun on Wikipedia's "neutral point of view"), which is that type theory, homotopy theory, category theory, and higher category theory provide a useful, unifying viewpoint for mathematics, physics and philosophy.
The n in n-point of view could refer to either n-categories as found in higher category theory, n-groupoids as found in both homotopy theory and higher category theory, or n-types as found in homotopy type theory.
Excerpted from Wikipedia’s “nLab” article, available under the CC BY-SA 4.0 licence.