n laboratorium - nLab
The n Lab to wiki z notatkami, ekspozycjami i pracą zespołową, w tym oryginalnymi badaniami w matematyce , fizyce i filozofii , z naciskiem na metody z kategorii teorii i teorii homotopii . The n Lab opowiada się za „ n- kategorycznym punktem widzenia” (zamierzonym kalamburem na temat „neutralnego punktu widzenia” Wikipedii ), że teoria kategorii, a zwłaszcza teoria wyższych kategorii, dostarczają użytecznego, jednoczącego punktu widzenia matematyki, fizyki i filozofii.
Przegląd
N Lab została pierwotnie pomyślany, aby zapewnić repozytorium pomysłów (a nawet nowych badań) wygenerowanego w komentarzach na stanowiskach w n -category Café , trasa grupa blogu (w tym czasie) przez Johna C. Baez , Davida Corfield i Urs Schreibera . Ostatecznie n Lab przekształciło się w niezależny projekt, który od tego czasu rozrósł się do całych projektów badawczych i materiałów encyklopedycznych.
Z n Lab powiązane jest nForum, internetowe forum dyskusyjne służące do ogłaszania i omawiania edycji n Lab (analog stron „rozmów” Wikipedii), a także do ogólnych dyskusji na tematy poruszane w n Lab. Preferowanym sposobem skontaktowania się z komitetem sterującym n Lab jest publikowanie postów na nForum. Eksperymentalnym podprojektem n Lab są Publikacje n Lab , przeznaczone jako czasopismo dla recenzowanych artykułów naukowych, które są publikowane online i powiązane z główną wiki.
The n Lab zostało założone 28 listopada 2008 r. przez Ursa Schreibera przy użyciu oprogramowania Instiki dostarczonego i utrzymywanego przez Jacquesa Distlera . Od maja 2015 działa na serwerze Carnegie Mellon University, który jest finansowany w ramach grantu MURI Steve'a Awodey'a na temat teorii typów homotopii. Administratorem systemu jest Richard Williamson. Domena ncatlab.org jest własnością Ursa Schreibera .
N Lab jest notowana na MathOverflow jako standard odniesienia matematyki on-line, aby sprawdzić zanim zadasz pytanie. Wiele pytań i odpowiedzi łączy się z n Lab w celu uzyskania materiałów pomocniczych. Jest to jedna z dwóch wiki wymienionych przez fizyka matematycznego Johna C. Baeza w swoim przeglądzie blogów matematycznych dla Amerykańskiego Towarzystwa Matematycznego .
Istnieje nieformalny komitet sterujący, który „nie zarządza laboratorium n ”, ale istnieje po to, aby rozwiązywać problemy, które mogłyby spowodować kłopoty całego projektu.
Zobacz też
Bibliografia
- ^ n POV w n Lab
- ^ Urs Schreiber , Co to jest... NLab?
- ^ Komitet sterujący w n Lab meta
- ^ Awodey Steve (29 kwietnia 2014). "HoTT otrzymał nagrodę MURI" . Teoria typów homotopii . Źródło 8 sierpnia 2020 .
- ^ MathOverflow , 1.0 Strona 'Jak zapytać'. Zarchiwizowane w dniu 2013-06-04.
- ^ MathOverflow , Wyniki wyszukiwania „nlab”. Na dzień 2018-12-11 jest ponad 800 wyników.
- ^ John C. Baez , " Blogi matematyczne " , Zawiadomienia Amerykańskiego Towarzystwa Matematycznego , marzec 2010
- ^ Komitet sterujący w n Lab meta