physics, mathematical physics, philosophy of physics
theory (physics), model (physics)
experiment, measurement, computable physics
Axiomatizations
Tools
Structural phenomena
Types of quantum field thories
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.
We think of this wiki as our lab book that we happen to keep open for all to see.
The purpose of the 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 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
Wikipedia entry: nLab
While we work on the 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 Lab in the part nForum – latest changes, where they may be discussed further.
If you do make contributions to the 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 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 Lab page, please make sure that you know who the right author is. Beware that the 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.
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 Lab, please inform the rest of the Lab community by dropping a brief message in the latest changes section of the nForum!
One goal of the 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 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 Lab homepages.)
If you cite a page you may want to point to a specific version of it, because 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 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 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.
The Lab sends mathematical formulas to the browser using MathML.
Notice that you don’t need to know any MathML for editing the Lab, only your browser does. You write formulas into the 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 Lab (free download of Firefox).
The domain ncatlab.org
is owned by Urs Schreiber.
The 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 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 Lab runs on a custom fork of Instiki. All bug reports or other software issues/requests for the Lab are currently best raised in the category nLab Technical Matters at the nForum, but can also be posted on GitHub.
The Lab page style is due to Jake Bian, originating with his Kan browser extension
The 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.
The Lab is a community undertaking. But for all matters that do require that the Lab is represented to the outside by an official decision-taking body, we have the steering committee. Nobody “is in charge of the Lab”. But the steering committee is the closest approximation to a body being in charge that we have.
Last revised on November 4, 2020 at 19:32:04. See the history of this page for a list of all contributions to it.