NLab

Last updated

The nLab is a wiki for research-level notes, expositions and collaborative work, including 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" [1] (a deliberate pun on Wikipedia's "neutral point of view") 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.

Contents

Overview

The nLab was originally conceived to provide a repository for ideas (and even new research) generated in the comments on posts at the n-Category Café, a group blog run (at the time) by John C. Baez, David Corfield and Urs Schreiber. Eventually the nLab developed into an independent project, which has since grown to include whole research projects and encyclopedic material. [2]

Associated to the nLab is the nForum, an online discussion forum for announcement and discussion of nLab edits (the analog of Wikipedia's "talk" pages) as well as for general discussion of the topics covered in the nLab. The preferred way of contacting the nLab steering committee is to post on the nForum. [3] An experimental sub-project of the nLab is the Publications of the nLab, intended as a journal for refereed research articles that are published online and cross-hyperlinked with the main wiki: this sub-project appears to be inactive as of 2014. [4]

The nLab was set up on November 28, 2008 by Urs Schreiber using the Instiki software provided and maintained by Jacques Distler. Since May 2015 it runs on a server at Carnegie Mellon University that is funded in the context of Steve Awodey's Homotopy Type Theory MURI grant. [5] The system administrator is Richard Williamson. The domain ncatlab.org is owned by Urs Schreiber.

The nLab is listed on MathOverflow as a standard online mathematics reference to check before asking questions. [6] Many questions and answers link to the nLab for background material. [7] It is one of two wikis mentioned by the mathematical physicist John C. Baez in his review of math blogs for the American Mathematical Society. [8]

There is an informal steering committee, which "doesn't run the nLab", [9] but exists in order to resolve issues that would cause the whole project to run into trouble.

The content of the wiki is not placed under a specific copyright license. [10]

See also

Related Research Articles

<span class="mw-page-title-main">John C. Baez</span> American mathematician

John Carlos Baez is an American mathematical physicist and a professor of mathematics at the University of California, Riverside (UCR) in Riverside, California. He has worked on spin foams in loop quantum gravity, applications of higher categories to physics, and applied category theory. Additionally, Baez is known on the World Wide Web as the author of the crackpot index.

David Neil Corfield is a British philosopher specializing in philosophy of mathematics and philosophy of psychology. He is Senior Lecturer in Philosophy at the University of Kent.

In mathematics, higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Higher category theory is often applied in algebraic topology, where one studies algebraic invariants of spaces, such as their fundamental weak ∞-groupoid.
In higher category theory, the concept of higher categorical structures, such as (∞-categories), allows for a more robust treatment of homotopy theory, enabling one to capture finer homotopical distinctions, such as differentiating two topological spaces that have the same fundamental group, but differ in their higher homotopy groups. This approach is particularly valuable when dealing with spaces with intricate topological features, such as the Eilenberg-MacLane space.

In mathematics, an n-group, or n-dimensional higher group, is a special kind of n-category that generalises the concept of group to higher-dimensional algebra. Here, may be any natural number or infinity. The thesis of Alexander Grothendieck's student Hoàng Xuân Sính was an in-depth study of 2-groups under the moniker 'gr-category'.

In mathematics, particularly the branch called category theory, a 2-group is a groupoid with a way to multiply objects, making it resemble a group. They are part of a larger hierarchy of n-groups. They were introduced by Hoàng Xuân Sính in the late 1960s under the name gr-categories, and they are also known as categorical groups.

<span class="mw-page-title-main">Steve Awodey</span> American mathematician (born 1959)

Steven M. Awodey is an American mathematician and logician. He is a Professor of Philosophy and Mathematics at Carnegie Mellon University.

<span class="mw-page-title-main">Ronald Brown (mathematician)</span>

Ronald Brown FLSW is an English mathematician. Emeritus Professor in the School of Computer Science at Bangor University, he has authored many books and more than 160 journal articles.

In topology, a branch of mathematics, a string group is an infinite-dimensional group introduced by Stolz (1996) as a -connected cover of a spin group. A string manifold is a manifold with a lifting of its frame bundle to a string group bundle. This means that in addition to being able to define holonomy along paths, one can also define holonomies for surfaces going between strings. There is a short exact sequence of topological groups

<span class="mw-page-title-main">Homotopy type theory</span> Type theory in logic and mathematics

In mathematical logic and computer science, homotopy type theory refers to various lines of development of intuitionistic type theory, based on the interpretation of types as objects to which the intuition of (abstract) homotopy theory applies.

In category theory, a branch of mathematics, Grothendieck's homotopy hypothesis states that the ∞-groupoids are spaces. If we model our ∞-groupoids as Kan complexes, then the homotopy types of the geometric realizations of these sets give models for every homotopy type. It is conjectured that there are many different "equivalent" models for ∞-groupoids all which can be realized as homotopy types.

Urs Schreiber is a mathematician specializing in the connection between mathematics and theoretical physics and currently working as a researcher at New York University Abu Dhabi. He was previously a researcher at the Czech Academy of Sciences, Institute of Mathematics, Department for Algebra, Geometry and Mathematical Physics.

In mathematics, the cobordism hypothesis, due to John C. Baez and James Dolan, concerns the classification of extended topological quantum field theories (TQFTs). In 2008, Jacob Lurie outlined a proof of the cobordism hypothesis, though the details of his approach have yet to appear in the literature as of 2022. In 2021, Daniel Grady and Dmitri Pavlov claimed a complete proof of the cobordism hypothesis, as well as a generalization to bordisms with arbitrary geometric structures.

Univalent foundations are an approach to the foundations of mathematics in which mathematical structures are built out of objects called types. Types in univalent foundations do not correspond exactly to anything in set-theoretic foundations, but they may be thought of as spaces, with equal types corresponding to homotopy equivalent spaces and with equal elements of a type corresponding to points of a space connected by a path. Univalent foundations are inspired both by the old Platonic ideas of Hermann Grassmann and Georg Cantor and by "categorical" mathematics in the style of Alexander Grothendieck. Univalent foundations depart from the use of classical predicate logic as the underlying formal deduction system, replacing it, at the moment, with a version of Martin-Löf type theory. The development of univalent foundations is closely related to the development of homotopy type theory.

Michael "Mike" Shulman is an American associate professor of mathematics at the University of San Diego who works in category theory and higher category theory, homotopy theory, logic as applied to set theory, and computer science.

PhysicsOverflow is a physics website that serves as a post-publication open peer review platform for research papers in physics, as well as a collaborative blog and online community of physicists. It allows users to ask, answer and comment on graduate-level physics questions, post and review manuscripts from ArXiv and other sources, and vote on both forms of content.

In type theory, a polynomial functor is a kind of endofunctor of a category of types that is intimately related to the concept of inductive and coinductive types. Specifically, all W-types are initial algebras of such functors.

<span class="mw-page-title-main">Emily Riehl</span> American mathematician

Emily Riehl is an American mathematician who has contributed to higher category theory and homotopy theory. Much of her work, including her PhD thesis, concerns model structures and more recently the foundations of infinity-categories. She is the author of two textbooks and serves on the editorial boards of three journals.

<span class="mw-page-title-main">Julie Bergner</span> Mathematician

Julia Elizabeth Bergner is a mathematician specializing in algebraic topology, homotopy theory, and higher category theory. She is a professor of mathematics at the University of Virginia.

In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is learned as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and category theory (specifically the study of higher categories).

Dmitri Olegovich Orlov, is a Russian mathematician, specializing in algebraic geometry. He is known for the Bondal-Orlov reconstruction theorem (2001).

References

  1. ↑ nPOV in nLab
  2. ↑ Urs Schreiber, What is... the nLab?
  3. ↑ Steering committee in nLab meta
  4. ↑ "Publications". ncatlab.org. Retrieved 2023-10-27.
  5. ↑ Awodey, Steve (29 April 2014). "HoTT awarded a MURI". Homotopy Type Theory. Retrieved 8 August 2020.
  6. ↑ MathOverflow, 1.0 'How to ask' page. Archived on 2013-06-04.
  7. ↑ MathOverflow, Results for a search for 'nlab'. As of 2018-12-11 there are over 800 results.
  8. ↑ John C. Baez, "Math Blogs", Notices of the American Mathematical Society , March 2010
  9. ↑ Steering committee in nLab meta
  10. ↑ "nLab". ncatlab.org. Retrieved 2023-10-28.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.