N Lab — это вики для заметок, изложений и совместной работы на уровне исследований, включая оригинальные исследования, в области математики , физики и философии , с упором на методы из теории типов , теории категорий и теории гомотопии . N Lab придерживается « n -точки зрения» [1] (намеренная игра слов на «нейтральную точку зрения» Википедии), что теория типов, теория гомотопии, теория категорий и теория высших категорий обеспечивают полезную объединяющую точку зрения для математики, физики и философии. N в n - точке зрения может относиться либо к n -категориям , как обнаружено в теории высших категорий, n -группоидам, как обнаружено как в теории гомотопии , так и в теории высших категорий, или n -типам, как обнаружено в теории гомотопических типов .
Первоначально n Lab задумывалась как хранилище идей (и даже новых исследований), созданных в комментариях к постам в n -Category Café , групповом блоге, который в то время вели Джон К. Баез , Дэвид Корфилд и Урс Шрайбер . В конечном итоге n Lab превратилась в независимый проект, который с тех пор разросся и стал включать целые исследовательские проекты и энциклопедические материалы. [2]
С n Lab связан nForum, онлайн-форум для объявлений и обсуждений правок n Lab (аналог страниц «обсуждений» Википедии), а также для общего обсуждения тем, затронутых в n Lab. Предпочтительным способом связи с руководящим комитетом n Lab является публикация на nForum. [3] Экспериментальным подпроектом n Lab являются Publications of the n Lab , задуманные как журнал для рецензируемых исследовательских статей, которые публикуются онлайн и перекрестно связаны с основной вики: этот подпроект, по-видимому, неактивен по состоянию на 2014 год. [4]
Лаборатория n была создана 28 ноября 2008 года Урсом Шрайбером с использованием программного обеспечения Instiki, предоставленного и поддерживаемого Жаком Дистлером . С мая 2015 года она работает на сервере в Университете Карнеги — Меллона , который финансируется в рамках гранта MURI Стива Аводея на теорию гомотопических типов. [5] Системным администратором является Ричард Уильямсон. Домен ncatlab.org принадлежит Урсу Шрайберу .
N Lab указан на MathOverflow как стандартный онлайн-справочник по математике, с которым следует ознакомиться перед тем, как задавать вопросы. [6] Многие вопросы и ответы ссылаются на n Lab для получения справочного материала. [7] Это один из двух вики , упомянутых математическим физиком Джоном К. Баезом в его обзоре математических блогов для Американского математического общества . [8]
Существует неофициальный руководящий комитет, который «не управляет n Lab» [9] , но существует для решения проблем, которые могут привести к проблемам во всем проекте.
Содержание вики не подпадает под особую лицензию на авторские права . [10]