н Лаборатория
The n Lab — это вики-сайт для заметок, изложений и совместных работ исследовательского уровня, включая оригинальные исследования в области математики , физики и философии , с упором на методы теории типов , теории категорий и теории гомотопий . The n Lab придерживается « n -точки зрения». [ 1 ] (намеренный каламбур на теория «нейтральной точке зрения» Википедии), что теория типов, теория гомотопий, теория категорий и высших категорий обеспечивают полезную объединяющую точку зрения для математики, физики и философии. Точка n в n зрения может относиться либо к n -категориям , найденным в теории высших категорий, к n -группоидам, найденным как в теории гомотопии , так и в теории высших категорий, или к n -типам, найденным в теории гомотопических типов .
Обзор
[ редактировать ]Первоначально n n Lab была задумана как хранилище идей (и даже новых исследований), генерируемых в комментариях к сообщениям в - 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 г.