Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
nLab
open-in-new
<p>The <i>n</i>Lab is a <a href="/facts/Wiki/uCKCEzqb">wiki</a> for research-level notes, expositions and collaborative work, including original research, in <a href="/facts/Mathematics/pxTouaz4">mathematics</a>, <a href="/facts/Physics/a7aH2y08">physics</a>, and <a href="/facts/Philosophy/zAH5PVD6">philosophy</a>, with a focus on methods from <a href="/facts/Type_theory/xj0xzVqI">type theory</a>, <a href="/facts/Category_theory/6zS3DXPa">category theory</a>, and <a href="/facts/Homotopy_theory/MJwYyRny">homotopy theory</a>. The <i>n</i>Lab espouses the "<i>n</i>-point of view" (a deliberate pun on <a href="/facts/Wikipedia/KDRNKWnc">Wikipedia</a>'s "neutral point of view") that type theory, homotopy theory, category theory, and <a href="/facts/Higher_category_theory/7Pp6a0VN">higher category theory</a> provide a useful unifying viewpoint for mathematics, physics and philosophy. The <i>n</i> in <i>n</i>-point of view could refer to either <a href="/facts/N-category/7Pp6a0VN"><i>n</i>-categories</a> as found in higher category theory, <i>n</i>-groupoids as found in both <a href="/facts/Homotopy_theory/MJwYyRny">homotopy theory</a> and higher category theory, or <i>n</i>-types as found in <a href="/facts/Homotopy_type_theory/C2vTAVnJ">homotopy type theory</a>. </p>