El n Lab es una wiki para notas de nivel de investigación, exposiciones y trabajo colaborativo, incluyendo investigación original, en matemáticas , física y filosofía , con un enfoque en métodos de teoría de tipos , teoría de categorías y teoría de homotopía . El n Lab defiende el " punto de vista n " [1] (un juego de palabras deliberado con el "punto de vista neutral" de Wikipedia ) de que la teoría de tipos, la teoría de homotopía, la teoría de categorías y la teoría de categorías superiores proporcionan un punto de vista unificador útil para las matemáticas, la física y la filosofía. La n en el punto de vista n podría referirse a n -categorías como las que se encuentran en la teoría de categorías superiores, n -grupoides como los que se encuentran tanto en la teoría de homotopía como en la teoría de categorías superiores, o n -tipos como los que se encuentran en la teoría de tipos de homotopía .
El n Lab fue concebido originalmente para proporcionar un repositorio de ideas (e incluso nuevas investigaciones) generadas en los comentarios de las publicaciones en el n -Category Café , un blog grupal dirigido (en ese momento) por John C. Baez , David Corfield y Urs Schreiber . Con el tiempo, el n Lab se convirtió en un proyecto independiente, que desde entonces ha crecido hasta incluir proyectos de investigación completos y material enciclopédico. [2]
Asociado al n Lab está el nForum, un foro de discusión en línea para el anuncio y discusión de ediciones del n Lab (el análogo de las páginas de "discusión" de Wikipedia) así como para la discusión general de los temas tratados en el n Lab. La forma preferida de contactar al comité directivo del n Lab es publicar en el nForum. [3] Un subproyecto experimental del n Lab es Publications of the n Lab , pensado como una revista para artículos de investigación arbitrados que se publican en línea y tienen hipervínculos cruzados con el wiki principal: este subproyecto parece estar inactivo a partir de 2014. [4]
El n Lab fue creado el 28 de noviembre de 2008 por Urs Schreiber utilizando el software Instiki proporcionado y mantenido por Jacques Distler . Desde mayo de 2015 funciona en un servidor de la Universidad Carnegie Mellon que está financiado en el contexto de la beca MURI de Teoría de tipos de homotopía de Steve Awodey . [5] El administrador del sistema es Richard Williamson. El dominio ncatlab.org es propiedad de Urs Schreiber .
El n Lab está incluido en MathOverflow como una referencia matemática en línea estándar para consultar antes de hacer preguntas. [6] Muchas preguntas y respuestas tienen enlaces al n Lab para obtener material de referencia. [7] Es una de las dos wikis mencionadas por el físico matemático John C. Baez en su revisión de blogs de matemáticas para la American Mathematical Society . [8]
Hay un comité directivo informal que "no dirige el laboratorio n ", [9] pero existe para resolver cuestiones que podrían causar problemas a todo el proyecto.
El contenido de la wiki no está sujeto a una licencia de derechos de autor específica . [10]