н Лаборатория
The n Lab — это вики- сайт для заметок, изложений и совместных работ исследовательского уровня, включая оригинальные исследования в области математики , физики и философии , с упором на методы теории типов , теории категорий и теории гомотопий . The 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]
The n Lab была создана 28 ноября 2008 года Урсом Шрайбером с использованием программного обеспечения Instiki, предоставленного и поддерживаемого Жаком Дистлером . С мая 2015 года он работает на сервере в Университете Карнеги-Меллон , который финансируется в рамках гранта MURI Стива Аводи по теории гомотопических типов. [5] Системный администратор — Ричард Уильямсон. Домен ncatlab.org принадлежит Урсу Шрайберу .
The n Lab указан на MathOverflow как стандартный онлайн-справочник по математике, который следует проверить, прежде чем задавать вопросы. [6] Многие вопросы и ответы ссылаются на n Lab для получения справочного материала. [7] Это один из двух вики-сайтов, упомянутых физиком-математиком Джоном Баэзом в его обзоре математических блогов для Американского математического общества . [8]
Существует неофициальный руководящий комитет, который «не управляет лабораторией ». [9] но существует для решения проблем, которые могут привести к сбою всего проекта.
Содержимое вики не защищено конкретной лицензией авторского права . [10]
См. также [ править ]
Ссылки [ править ]
- ^ n POV в n лаборатории
- ^ Урс Шрайбер , Что такое... nLab?
- ^ Руководящий комитет мета- лаборатории n Lab.
- ^ «Публикации» . ncatlab.org . Проверено 27 октября 2023 г.
- ^ Аводи, Стив (29 апреля 2014 г.). «HoTT награжден MURI» . Гомотопическая теория типов . Проверено 8 августа 2020 г.
- ^ MathOverflow , 1.0, страница «Как задать вопрос». Архивировано 4 июня 2013 г.
- ^ MathOverflow , Результаты поиска по слову «nlab». По состоянию на 11 декабря 2018 г. имеется более 800 результатов.
- ^ Джон К. Баэз , « Математические блоги », Уведомления Американского математического общества , март 2010 г.
- ^ Руководящий комитет мета- лаборатории n Lab.
- ^ «НЛаб» . ncatlab.org . Проверено 28 октября 2023 г.