n Laboratorio

El n Lab es una wiki para notas, exposiciones y trabajos colaborativos de nivel de investigación. Incluye investigación original en matemáticas , física y filosofía, con especial atención a los métodos de la teoría de tipos , la teoría de categorías y la teoría de la homotopía . El n Lab defiende el " punto de vista n " ^{[ 2 ]} (un juego de palabras deliberado con el "punto de vista neutral" de Wikipedia ), según el cual la teoría de tipos, la teoría de la homotopía, la teoría de categorías y la teoría de categorías superiores proporcionan un punto de vista útil y unificador 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 homotópicos .

El n Lab se concibió originalmente para servir como repositorio de ideas (e incluso de nuevas investigaciones) generadas en los comentarios de las publicaciones del n -Category Café , un blog grupal dirigido en aquel entonces 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. ^{[ 3 ]}

Asociado al n Lab está el nForum: un foro de discusión en línea para el anuncio y la discusión de las 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. ^{[ 4 ]} Un subproyecto experimental del n Lab es el 'Publicaciones del n Lab' , concebidas como una revista para artículos de investigación revisados ​​por pares que se publican en línea y están enlazados con la wiki principal. Este subproyecto parece estar inactivo desde 2014. ^{[ 5 ]}

El laboratorio 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 , financiado en el marco de la beca MURI de Teoría de Tipos de Homotopía de Steve Awodey . ^{[ 6 ]} El dominio ncatlab.org es propiedad de Urs Schreiber .

El n Lab aparece en MathOverflow como una referencia matemática estándar en línea que se debe consultar antes de formular preguntas. ^{[ 7 ]} Muchas preguntas y respuestas enlazan al n Lab para obtener material de referencia. ^{[ 8 ]} Es una de las dos wikis mencionadas por el físico matemático John C. Baez en su reseña de blogs de matemáticas para la Sociedad Matemática Estadounidense . ^{[ 9 ]}

Hay un comité directivo informal, que no dirige el n Lab, ^{[ 10 ]} pero existe para resolver problemas que podrían causar problemas a todo el proyecto.

El contenido de esta wiki no está sujeto a una licencia de derechos de autor específica . ^{[ 11 ]}

• Desbordamiento matemático

• n Laboratorio
• nForo
• Publicaciones del Laboratorio n