nLab
HomePage

$\,$

Search the nLab (hints)

$\,$

This is a wiki-lab for collaborative work on Mathematics, Physics and Philosophy — especially from the n-point of view: in so far as these subjects are usefully treated with tools and notions of category theory or higher category theory.

Purpose

We think of this wiki as our lab book that we happen to keep open for all to see.

The purpose of the $n$Lab is to provide a public place where people can make notes about stuff. The purpose is not to make polished expositions of material; that is a happy by-product.

We all make notes as we read papers, read books and doodle on pads of paper. The $n$Lab is somewhere to put all those notes, and, incidentally, to make them available to others. Others might read them and add or polish them. But even if they don’t, it is still easier to link from them to other notes that you’ve made.

For more see

• What is… the nLab?

• About.

• Wikipedia entry: nLab

Discussion, Comments, Questions

While we work on the $n$Lab, we talk to each other on the nForum. In particular, for all but the most trivial edits (correcting spelling or punctuation, etc.), we make a note of our latest edits to the $n$Lab in the part nForum – latest changes, where they may be discussed further.

If you do make contributions to the $n$Lab, you are strongly encouraged to similarly drop a short note there about what you have done – or maybe just about what you plan to do or even what you would like others to do. See Welcome to the nForum for more information.

If you do not want to contribute to the $n$Lab, but if you have comments on an entry – say because you are an expert and feel that information is wrong or missing – or questions – say because you are a layperson and feel that things could be explained better – then we generally prefer that you post that comment or question to the nForum, where it is visible to everybody who might be concerned.

In case that you do feel that this is not an option and that you do need to contact privately (say by email) a single author of an $n$Lab page, please make sure that you know who the right author is. Beware that the $n$Lab pages are visibly “signed” only by the name of the last person who made any edit on the page, no matter how minor. To find the author who made the edit that you want to comment or ask about privately, you should click on the link “History” at the bottom of any page to see which version was authored by whom.

Contributing to the $n$Lab

If after looking around for a while you feel like contributing yourself, you are welcome to do so. But read About to be sure you understand what we are doing here (to the extent that we understand this ourselves, at least). If you feel unsure about appropriate content, see What to Contribute. For technical hints see HowTo.

If you make any edits to the $n$Lab, please inform the rest of the $n$Lab community by dropping a brief message in the latest changes section of the nForum!

Using the $n$Lab

One goal of the $n$Lab is to help make information widely available and usefully related to other information. In this users and contributors are expected to follow traditional academic practice:

• Using and distributing content obtained from the $n$Lab is free and encouraged if you acknowledge the source, as usual in academia.

  (There is currently no consensus on a more formal license statement, but if it matters check if relevant individual contributors state such on their nLab homepages.)

  If you cite a page you may want to point to a specific version of it, because $n$Lab pages can change. You can find a list of all the versions of a page by clicking on the History link at the bottom of the page itself.

• Conversely, any content contributed to the $n$Lab is publicly available and you should be aware that others may use your contributions (whatever you decide to do with their content elsewhere) and indeed may edit them. In the first case you trust that users will cite your contributions properly, in the second that they will respect and only improve on them. At the same time, you are expected to properly acknowledge sources of information for material entered into the $n$Lab.

Usually this works well. If there is need for discussion, the nForum is the forum to turn to. If serious problems arise, the steering committee might intervene.

Software requirements

The $n$Lab sends mathematical formulas to the browser using MathML.

Notice that you don’t need to know any MathML for editing the $n$Lab, only your browser does. You write formulas into the $n$Lab between dollar signs in iTeX, which is very similar to ordinary LaTeX.

Presently only Firefox and its derivatives have implemented native rendering of MathML. Presently all other browsers fall back to invoking MathJax. This works fine on small pages, but on pages with substantial content the MathJax rendering takes up to several minutes.

This means that presently you should use Firefox or its derivatives to view the $n$Lab (free download of Firefox).

Server and setup

The domain ncatlab.org is owned by Urs Schreiber.

The $n$Lab server is hosted at Carnegie Mellon University, funded in the context of the HoTT MURI grant.

The nLab runs on a server at Carnegie Mellon University that is supported by MURI grant FA9550-15-1-0053 from the Air Force Office of Scientific Research. Any opinions, findings and conclusions or recommendations expressed on the nLab are those of the authors and do not necessarily reflect the views of the AFOSR.

The technical administration of the $n$Lab software installation is in the hands of our system administrator Richard Williamson and assistant system administrator Alexis Hazell. (If you wish to lend a hand, please contact us.)

The $n$Lab runs on a custom fork of Instiki. All bug reports or other software issues/requests for the $n$Lab are currently best raised in the category nLab Technical Matters at the nForum, but can also be posted on GitHub.

The $n$Lab page style is due to Jake Bian, originating with his Kan browser extension

The $n$Lab logo is due to David Roberts, inspired by Matisse’s painting La Gerbe. Besides being an inside reference to higher structures known as gerbes, the logo represents maybe computational trinitarianism or the progression of modalities or generally the unity of diverse mathematical phenomena revealed by the nPOV.

Steering Committee

The $n$Lab is a community undertaking. But for all matters that do require that the $n$Lab is represented to the outside by an official decision-taking body, we have the steering committee. Nobody “is in charge of the $n$Lab”. But the steering committee is the closest approximation to a body being in charge that we have.

category: meta