nLab

nLab
FoundedNovember 28, 2008
CreatorUrs Schreiber
Websitencatlab.org
Written inRuby, Python
Preview warning: Page using Template:Infobox website with deprecated parameter programming_language. Replace with written_in.
Preview warning: Page using Template:Infobox website with deprecated parameter url. Replace with website.

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.

This page is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.