CINXE.COM

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg-flat.dtd" > <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title> About in nLab </title> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> <meta name="robots" content="index,follow" /> <meta name="viewport" content="width=device-width, initial-scale=1" /> <link href="/stylesheets/instiki.css?1676280126" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/mathematics.css?1660229990" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/syntax.css?1660229990" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/nlab.css?1676280126" media="all" rel="stylesheet" type="text/css" /> <link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/gh/dreampulse/computer-modern-web-font@master/fonts.css"/> <style type="text/css"> h1#pageName, div.info, .newWikiWord a, a.existingWikiWord, .newWikiWord a:hover, [actiontype="toggle"]:hover, #TextileHelp h3 { color: #226622; } a:visited.existingWikiWord { color: #164416; } </style> <style type="text/css"><![CDATA[/*></style> <script src="/javascripts/prototype.js?1660229990" type="text/javascript"></script> <script src="/javascripts/effects.js?1660229990" type="text/javascript"></script> <script src="/javascripts/dragdrop.js?1660229990" type="text/javascript"></script> <script src="/javascripts/controls.js?1660229990" type="text/javascript"></script> <script src="/javascripts/application.js?1660229990" type="text/javascript"></script> <script src="/javascripts/page_helper.js?1660229990" type="text/javascript"></script> <script src="/javascripts/thm_numbering.js?1660229990" type="text/javascript"></script> <script type="text/x-mathjax-config"> <![CDATA[//><!]]> </script> <script type="text/javascript"> <![CDATA[//><!]]> </script> <link href="https://ncatlab.org/nlab/atom_with_headlines" rel="alternate" title="Atom with headlines" type="application/atom+xml" /> <link href="https://ncatlab.org/nlab/atom_with_content" rel="alternate" title="Atom with full content" type="application/atom+xml" /> <script type="text/javascript"> document.observe("dom:loaded", function() { generateThmNumbers(); }); </script> </head> <body> <div id="Container"> <div id="Content"> <h1 id="pageName"> <span style="float: left; margin: 0.5em 0.25em -0.25em 0"> <svg xmlns="http://www.w3.org/2000/svg" width="1.872em" height="1.8em" viewBox="0 0 190 181"> <path fill="#226622" d="M72.8 145c-1.6 17.3-15.7 10-23.6 20.2-5.6 7.3 4.8 15 11.4 15 11.5-.2 19-13.4 26.4-20.3 3.3-3 8.2-4 11.2-7.2a14 14 0 0 0 2.9-11.1c-1.4-9.6-12.4-18.6-16.9-27.2-5-9.6-10.7-27.4-24.1-27.7-17.4-.3-.4 26 4.7 30.7 2.4 2.3 5.4 4.1 7.3 6.9 1.6 2.3 2.1 5.8-1 7.2-5.9 2.6-12.4-6.3-15.5-10-8.8-10.6-15.5-23-26.2-31.8-5.2-4.3-11.8-8-18-3.7-7.3 4.9-4.2 12.9.2 18.5a81 81 0 0 0 30.7 23c3.3 1.5 12.8 5.6 10 10.7-2.5 5.2-11.7 3-15.6 1.1-8.4-3.8-24.3-21.3-34.4-13.7-3.5 2.6-2.3 7.6-1.2 11.1 2.8 9 12.2 17.2 20.9 20.5 17.3 6.7 34.3-8 50.8-12.1z"/> <path fill="#a41e32" d="M145.9 121.3c-.2-7.5 0-19.6-4.5-26-5.4-7.5-12.9-1-14.1 5.8-1.4 7.8 2.7 14.1 4.8 21.3 3.4 12 5.8 29-.8 40.1-3.6-6.7-5.2-13-7-20.4-2.1-8.2-12.8-13.2-15.1-1.9-2 9.7 9 21.2 12 30.1 1.2 4 2 8.8 6.4 10.3 6.9 2.3 13.3-4.7 17.7-8.8 12.2-11.5 36.6-20.7 43.4-36.4 6.7-15.7-13.7-14-21.3-7.2-9.1 8-11.9 20.5-23.6 25.1 7.5-23.7 31.8-37.6 38.4-61.4 2-7.3-.8-29.6-13-19.8-14.5 11.6-6.6 37.6-23.3 49.2z"/> <path fill="#193c78" d="M86.3 47.5c0-13-10.2-27.6-5.8-40.4 2.8-8.4 14.1-10.1 17-1 3.8 11.6-.3 26.3-1.8 38 11.7-.7 10.5-16 14.8-24.3 2.1-4.2 5.7-9.1 11-6.7 6 2.7 7.4 9.2 6.6 15.1-2.2 14-12.2 18.8-22.4 27-3.4 2.7-8 6.6-5.9 11.6 2 4.4 7 4.5 10.7 2.8 7.4-3.3 13.4-16.5 21.7-16 14.6.7 12 21.9.9 26.2-5 1.9-10.2 2.3-15.2 3.9-5.8 1.8-9.4 8.7-15.7 8.9-6.1.1-9-6.9-14.3-9-14.4-6-33.3-2-44.7-14.7-3.7-4.2-9.6-12-4.9-17.4 9.3-10.7 28 7.2 35.7 12 2 1.1 11 6.9 11.4 1.1.4-5.2-10-8.2-13.5-10-11.1-5.2-30-15.3-35-27.3-2.5-6 2.8-13.8 9.4-13.6 6.9.2 13.4 7 17.5 12C70.9 34 75 43.8 86.3 47.4z"/> </svg> </span> <span class="webName">nLab</span> About </h1> <div class="navigation"> <span class="skipNav"><a href='#navEnd'>Skip the Navigation Links</a> | </span> <span style="display:inline-block; width: 0.3em;"></span> <a href="/nlab/show/HomePage" accesskey="H" title="Home page">Home Page</a> | <a href="/nlab/all_pages" accesskey="A" title="List of all pages">All Pages</a> | <a href="/nlab/latest_revisions" accesskey="U" title="Latest edits and page creations">Latest Revisions</a> | <a href="https://nforum.ncatlab.org/discussion/436/#Item_18" title="Discuss this page in its dedicated thread on the nForum" style="color: black">Discuss this page</a> | <form accept-charset="utf-8" action="/nlab/search" id="navigationSearchForm" method="get"> <fieldset class="search"><input type="text" id="searchField" name="query" value="Search" style="display:inline-block; float: left;" onfocus="this.value == 'Search' ? this.value = '' : true" onblur="this.value == '' ? this.value = 'Search' : true" /></fieldset> </form> <span id='navEnd'></span> </div> <div id="revision"> <html xmlns="http://www.w3.org/1999/xhtml" xmlns:svg="http://www.w3.org/2000/svg" xml:lang="en" lang="en"> <head><meta http-equiv="Content-type" content="application/xhtml+xml;charset=utf-8" /><title>Contents</title></head> <body> <div class="rightHandSide"> <div class="toc clickDown" tabindex="0"> <h3 id="contents" class="clickToReveal">Contents</h3> <h3 id="contents_2" class="clickToHide" tabindex="0">Contents</h3> <div class="hide"><div> <p><strong><a class="existingWikiWord" href="/nlab/show/HomePage">nLab</a></strong></p> <ul> <li> <p>Content</p> <ul> <li><a class="existingWikiWord" href="/nlab/show/mathematics">Mathematics</a></li> <li><a class="existingWikiWord" href="/nlab/show/physics">Physics</a></li> <li><a class="existingWikiWord" href="/nlab/show/philosophy">Philosophy</a></li> </ul> </li> <li> <p>Resources</p> <ul> <li><a class="existingWikiWord" href="/nlab/show/mathematics+resources">Mathematics Resources</a></li> <li><a class="existingWikiWord" href="/nlab/show/physics+resources">Physics Resources</a></li> <li><a class="existingWikiWord" href="/nlab/show/philosophy+resources">Philosophy Resources</a></li> </ul> </li> <li> <p>Community</p> <ul> <li> <p><a href="http://nforum.ncatlab.org/">nForum</a></p> <ul> <li><a href="https://nforum.ncatlab.org/5/">Latest Changes</a></li> </ul> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/HowTo">HowTo</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/FAQ">FAQ</a></p> </li> <li> <p><span class="newWikiWord">Contributors<a href="/nlab/new/Contributors">?</a></span></p> </li> <li> <p><a href="http://ncatlab.org/nlab/file_list">Uploaded Files</a></p> </li> <li> <p><a class="existingWikiWord" href="/nlab/show/Sandbox">Sandbox</a></p> </li> </ul> </li> </ul> <div> <p> <a href="/nlab/edit/contents">Edit this sidebar</a> </p> </div></div></div> </div> </div> <h1 id="contents_3">Contents</h1> <div class='maruku_toc'> <ul> <li><a href='#history'>History</a></li> <li><a href='#what_the_lab_is'>What the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab is</a></li> <li><a href='#who_are_we'>Who Are We?</a></li> <li><a href='#in_practice'>In Practice?</a></li> <li><a href='#what_the_lab_is_not'>What the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab is not</a></li> <li><a href='#organization_of_the_lab'>Organization of the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab</a></li> <li><a href='#technology_and_support'>Technology and Support</a></li> </ul> </div> <h2 id="history">History</h2> <p>The <a class="existingWikiWord" href="/nlab/show/HomePage">nLab</a> is a <em>collaborative <a href="http://en.wikipedia.org/wiki/Wiki">wiki</a></em>. It grew out of the desire (<a href="http://golem.ph.utexas.edu/category/2007/09/towards_a_higherdimensional_wi.html">I</a>, <a href="http://golem.ph.utexas.edu/category/2008/11/beyond_the_blog.html">II</a>) to have a place for development (the “Lab” in “<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab”) and indexed archives of the ideas and concepts surrounding the discussions at the <a href="http://golem.ph.utexas.edu/category/">The <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>-Category Café</a>. These discussions primarily are about <a class="existingWikiWord" href="/nlab/show/mathematics">mathematics</a>, <a class="existingWikiWord" href="/nlab/show/physics">physics</a> and <a class="existingWikiWord" href="/nlab/show/philosophy">philosophy</a> from the <a class="existingWikiWord" href="/nlab/show/higher+structures">higher structures</a> <a class="existingWikiWord" href="/nlab/show/n-point+of+view">point of view</a> of <a class="existingWikiWord" href="/nlab/show/homotopy+theory">homotopy theory</a>/<a class="existingWikiWord" href="/nlab/show/algebraic+topology">algebraic topology</a>, <a class="existingWikiWord" href="/nlab/show/homotopy+type+theory">homotopy</a> <a class="existingWikiWord" href="/nlab/show/type+theory">type theory</a>, <a class="existingWikiWord" href="/nlab/show/higher+category+theory">higher</a> <a class="existingWikiWord" href="/nlab/show/category+theory">category theory</a> and <a class="existingWikiWord" href="/nlab/show/higher+algebra">higher</a> <a class="existingWikiWord" href="/nlab/show/categorical+algebra">categorical algebra</a> (the “<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>” in “<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab” and “<a class="existingWikiWord" href="/nlab/show/nPOV">nPOV</a>”).</p> <p>The <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab was <a href="http://golem.ph.utexas.edu/category/2008/11/nlab.html">created</a> in November 2008 by <a class="existingWikiWord" href="/nlab/show/Urs+Schreiber">Urs Schreiber</a>, using software provided and set up by <a class="existingWikiWord" href="/nlab/show/Jacques+Distler">Jacques Distler</a>. The name “<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab” (short for “<math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>-Category Lab”, but perhaps less restrictive) was dreamt up by Lisa Raphals (<a class="existingWikiWord" href="/nlab/show/John+Baez">John Baez</a>‘s wife).</p> <p>Discussion of and around edits to the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab happen on the <a href="https://nforum.ncatlab.org/"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Forum</a> which roughly plays the role of the “talk”-pages at Wikipedia.</p> <h2 id="what_the_lab_is">What the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab is</h2> <p>The most apt analogy for the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab is of a <strong>group lab book</strong>. A lab book for a research scientist is a place where they write down anything that they consider relevant for their work; a group lab book is one that several researchers with common interests use. The material recorded in a lab book can include:</p> <ul> <li>Notes from seminars</li> <li>Notes from papers and books</li> <li>Summaries of known work</li> <li>Observations and results from experiments</li> <li>Ideas for future work</li> </ul> <p>Apart from not having actual physical experiments, this matches the content of the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab fairly well. The key difference between the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab and an “ordinary” lab book is that it is public. By making it public we hope to achieve two things:</p> <ol> <li>To enable others to benefit from our work while it is still being done.</li> <li>To benefit from the work of others while we are doing it.</li> </ol> <p>There is much more to a research project than that which appears in the final paper and we believe that since our results and our final proofs will be public, then both we and those who might read such a paper can benefit from beginning the interaction much earlier in its development.</p> <p>Thus by making our lab book public, we hope that casual passers-by will stop, read, and scribble something on it that will help us do our research.</p> <p>There are three things to say about this that are worth making very clear.</p> <ol> <li>Our reasons for having the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab are ultimately selfish. We have set it up and run it to make it easier to our research.</li> <li>But to make it <em>work</em> properly in public, we need to make it attractive to others so that they will stop by, read our jottings, and scribble something of their own.</li> <li>We aim to achieve a system whereby those who put most in are also those who get most out.</li> </ol> <h2 id="who_are_we">Who Are We?</h2> <p>The <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab is not a community project set up for the education and improvement of Humanity. It originally grew out of the <a href="http://golem.ph.utexas.edu/category/">The <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>-Category Café</a> and the loose-knit community surrounding that blog. It is not possible to give a precise description of who is in that community, and the community involved in the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab has itself evolved from that starting point. Moreover, even if it were possible to describe that community we would not wish to. We are not a closed group, we are always keen for others to join us. The two simple rules are:</p> <ol> <li>To join, you need to be willing to interact with the group and material already present, from the <a class="existingWikiWord" href="/nlab/show/n-point+of+view">n-point of view</a>. Specifically: is there something already on the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab that you are interested in and is there someone already working in the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab that you would like to talk to about it?</li> <li>We will ask you to leave if what you are doing has little connection with what the rest of the group is doing and if it is interfering with others trying to do their work. This is of course unpleasant, since most people who come to contribute do so with honorable intentions. To help minimize possible areas of friction, it may help to read <a class="existingWikiWord" href="/nlab/show/writing+in+the+nLab">writing in the nLab</a>.</li> </ol> <h2 id="in_practice">In Practice?</h2> <p>The way that this is being worked out in practice is as follows. Currently it seems that common motivations for contributing to the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab are</p> <ul> <li> <p>to <strong>assemble information</strong> on <a class="existingWikiWord" href="/nlab/show/mathematics">mathematics</a>, <a class="existingWikiWord" href="/nlab/show/physics">physics</a> and <a class="existingWikiWord" href="/nlab/show/philosophy">philosophy</a> in a modern unified way, from the perspective of <a class="existingWikiWord" href="/nlab/show/higher+category+theory">higher category theory</a>;</p> </li> <li> <p>to <strong>provide exposition</strong> of this information which is useful to a wide range of readers of differing expertise;</p> </li> <li> <p>to jointly <strong>develop ideas</strong> and research on applying higher categorical concepts and tools to issues in <a class="existingWikiWord" href="/nlab/show/mathematics">mathematics</a>, <a class="existingWikiWord" href="/nlab/show/physics">physics</a> and <a class="existingWikiWord" href="/nlab/show/philosophy">philosophy</a>.</p> </li> </ul> <p>To some extent this involves</p> <ul> <li>collecting in principle “well known” definitions and facts in an encyclopaedic fashion, to the extent that these are not readily available, or not in the desired form, for instance on <a href="http://en.wikipedia.org/wiki/Main_Page">Wikipedia</a>. Depending on the enthusiasm of those who decide to contribute, this <em>could</em> eventually develop into something like a modern version of a <a href="http://en.wikipedia.org/wiki/Bourbaki">Bourbaki</a>-like project. The potential for this is conceivably there, but of course this is an ambitious idea. Time will show if the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab can live up to this goal.</li> </ul> <p>But on top of this encyclopaedic function, and hopefully in parallel to that, the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab is</p> <ul> <li>intended as providing a <em>laboratory</em> for collaborative development of ideas – for research. Within the community out of which the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab grew exists the feeling that there is considerable potential for the fruitful application and development of categorical and higher categorical concepts and tools to various areas in <a class="existingWikiWord" href="/nlab/show/mathematics">mathematics</a>, <a class="existingWikiWord" href="/nlab/show/physics">physics</a> and <a class="existingWikiWord" href="/nlab/show/philosophy">philosophy</a>. Several contributors to the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab are actively involved in research along these lines. The <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab is meant as a place to collect, develop and present such research.</li> </ul> <p>These points together imply that</p> <ul> <li> <p>on the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab we do not hesitate to provide non-traditional perspectives, definitions and explanations of terms and phenomena if we feel that these are the <em>right</em> perspectives, definitions and explanations from a modern unified higher categorical perspective;</p> </li> <li> <p>at the same time we want to indicate clearly which part of an entry is traditional common material, which is a modern but widely-accepted reformulation and which is genuinely the result of original research by a contributor or by several contributors;</p> </li> <li> <p>we will intersperse possibly controversial but always constructive <strong>discussion</strong> into entries if we feel the need. While in general the <a href="http://golem.ph.utexas.edu/category"><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>-Category Café</a> is where we have chat and discussion and the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab is where we compile material, few entries on the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab are or can be meant as representing a final truth. The <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab will be the better the more we discuss its contents. For more on how to inject discussion into entries see the <a class="existingWikiWord" href="/nlab/show/HowTo">HowTo</a> page.</p> </li> </ul> <h2 id="what_the_lab_is_not">What the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab is not</h2> <p>Most importantly the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab is</p> <ul> <li><strong>not complete</strong> and <strong>not meant to be complete</strong>. Neither its general structure nor each single entry are meant to be optimal in their current state. Many existing entries, possibly all of them, deserve to be and are meant to be eventually improved and expanded on. Many entries are <a href="http://en.wikipedia.org/wiki/Wikipedia:Stub">stubs</a>!</li> </ul> <p><strong>If you find yourself annoyed by the state any given entry is in</strong>, for whatever reason, please feel encouraged to edit it in order to improve the situation.</p> <p><strong>Notice</strong>: an entry being in a pitiful state is usually more a sign of nobody having spared the time and energy to work on it, than of our joint incompetence to write a decent entry if we were being paid for doing it. So if you find your eyebrows raised by some entry, don’t turn away to be the next one <em>not</em> to work on it. Instead, improve it. We all do this voluntarily. We all have other duties to look after. So don’t be annoyed with “us”, help us.</p> <p>So if you feel existing material needs to be changed, you can do so. If you feel further material needs to be added, different perspectives need to be amplified, you can add a new paragraph, headed by a suitable headline. <strong>Be bold</strong>: The <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab will be the better the more people decide to contribute to it.</p> <p>See the <a class="existingWikiWord" href="/nlab/show/HowTo">HowTo</a> page for information on how to contribute to the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab and edit and/or create its entries.</p> <h2 id="organization_of_the_lab">Organization of the <math xmlns="http://www.w3.org/1998/Math/MathML" display="inline" class="maruku-mathml"><semantics><mrow><mi>n</mi></mrow><annotation encoding="application/x-tex">n</annotation></semantics></math>Lab</h2> <ul> <li>see <span class="newWikiWord">organization of the nLab<a href="/nlab/new/organization+of+the+nLab">?</a></span></li> </ul> <h2 id="technology_and_support">Technology and Support</h2> <p>Historically, the nlab was powered by <a href="https://golem.ph.utexas.edu/wiki/instiki/show/HomePage">Instiki</a>, but now runs on a <a href="https://github.com/ncatlab/nlab">custom fork</a>. All bug reports or other software issues/requests for the nLab are currently best raised in the category <a href="https://nforum.ncatlab.org/21/">nLab Technical Matters</a> at the nForum, but can also be posted <a href="https://github.com/ncatlab/nlab/issues">at github</a>.</p> <p>The physical server running the nLab lives at <a href="http://www.cmu.edu">Carnegie Mellon University</a>, and is supported by the <a class="existingWikiWord" href="/nlab/show/homotopy+type+theory">homotopy type theory</a> MURI award FA9550-15-1-0053 from the United States 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.</p> <div class="property">category: <a class="category_link" href="/nlab/all_pages/meta">meta</a></div></body></html> </div> <div class="revisedby"> <p> Last revised on February 24, 2024 at 04:13:35. See the <a href="/nlab/history/About" style="color: #005c19">history</a> of this page for a list of all contributions to it. </p> </div> <div class="navigation navfoot"> <a href="/nlab/edit/About" accesskey="E" class="navlink" id="edit" rel="nofollow">Edit</a><a href="https://nforum.ncatlab.org/discussion/436/#Item_18">Discuss</a><span class="backintime"><a href="/nlab/revision/About/44" accesskey="B" class="navlinkbackintime" id="to_previous_revision" rel="nofollow">Previous revision</a></span><a href="/nlab/show/diff/About" accesskey="C" class="navlink" id="see_changes" rel="nofollow">Changes from previous revision</a><a href="/nlab/history/About" accesskey="S" class="navlink" id="history" rel="nofollow">History (44 revisions)</a> <a href="/nlab/show/About/cite" style="color: black">Cite</a> <a href="/nlab/print/About" accesskey="p" id="view_print" rel="nofollow">Print</a> <a href="/nlab/source/About" id="view_source" rel="nofollow">Source</a> </div> </div>  </div>  </body> </html>