đLab
nLab ist ein Wiki fĂŒr Forschungsnotizen, ErklĂ€rungen und Zusammenarbeit in Mathematik, Physik und Philosophie mit einem Fokus auf Methoden aus der (höheren) Kategorientheorie, Homotopietheorie und Typentheorie. Die Benennung bezieht sich dabei auf eine ân-artige Betrachtungâ (ân-point of viewâ),[1] ein Wortspiel analog zur âneutralen Betrachtungâ (âneutral point of viewâ) von Wikipedia, gemÀà welcher (höhere) Kategorientheorie, Homotopietheorie und Typentheorie eine nĂŒtzliche und einzigartige Sicht auf Mathematik, Physik und Philosophie zur VerfĂŒgung stellen. Daher kann das ânâ sowohl fĂŒr n-Kategorien aus der höheren Kategorientheorie, n-Gruppoide aus der höheren Kategorientheorie und der Homotopietheorie sowie n-Typen aus der Typentheorie stehen.
Geschichte
nLab wurde am 28. November 2008 von Urs Schreiber mithilfe der von Jacques Distler bereitgestellten Software Instiki gegrĂŒndet. Seit Mai 2015 wird die Webseite auf einem Server der Carnegie Mellon University betrieben und durch das Homotopietheorie MURI-Stipendium von Steve Awodey finanziert.[2] nLab wurde zunĂ€chst als Sammlungsstelle fĂŒr Ideen (und sogar neue Forschung) aus dem n-Category CafĂ© konzipiert, welches zu der Zeit von John Baez, David Corfield und Urs Schreiber betrieben wurde. Letztendlich wurde das nLab ein unabhĂ€ngiges Projekt, welches inzwischen ebenso ganze Forschungsprojekte und enzyklopĂ€disches Material enthĂ€lt.[3] Zu nLab gehört das nForum fĂŒr die AnkĂŒndigung und Diskussion von Bearbeitungen auf nLab (und daher das Analogon der Diskussionsseiten auf Wikipedia) sowie der allgemeinen Diskussion ĂŒber die auf nLab behandelten Themen. Die gewĂŒnschte Art zur Kommunikation mit dem Lenkungsausschuss ist durch einen Beitrag im nForum.[4] Ein experimentelles Unterprojekt von nLab ist Publications of the nLab, welches als Journal fĂŒr die im Internet verfĂŒgbaren Forschungsartikel gedacht ist, welche auf nLab verlinkt sind. Dieses Unterprojekt scheint jedoch seit dem Jahr 2014 inaktiv zu sein.[5]
Die Domain ncatlab.org gehört Urs Schreiber. Es gibt einen informellen Lenkungsausschuss, der zwar âdas nLab nicht leitetâ,[6] aber zur Auflösung von Probleme zustĂ€ndig ist, die das gesamte Projekt in Schwierigkeiten bringen könnten. Der Inhalt von nLab steht nicht unter keinem speziellen Urheberrecht.[7] nLab wird auf MathOverflow als eine der Webseiten aufgelistet, die vor Erstellung einer Frage aufgesucht werden sollten.[8] Dort verlinken viele Antworten auf nLab fĂŒr weiterfĂŒhrendes Hintergrundmaterial.[9] nLab wird von John Baez in einem Review von mathematischen Blogs fĂŒr die American Mathematical Society erwĂ€hnt.[10]
Siehe auch
Weblinks
Einzelnachweise
- â nPOV. In: nLab. Abgerufen am 8. MĂ€rz 2024.
- â Steve Awodey: HoTT awarded a MURI. In: Homotopy Type Theory. 29. April 2014, abgerufen am 8. August 2020 (englisch).
- â Urs Schreiber, What is... the nLab?
- â Steering committee in nLab meta
- â Publications. In: ncatlab.org. Abgerufen am 27. Oktober 2023.
- â Steering committee in nLab meta
- â nLab. In: ncatlab.org. Abgerufen am 28. Oktober 2023 (englisch).
- â MathOverflow, 1.0 'How to ask' page. Archived on 2013-06-04.
- â MathOverflow, Results for a search for 'nlab'. As of 2018-12-11 there are over 800 results.
- â John C. Baez, "Math Blogs", Notices of the American Mathematical Society, March 2010