n Laboratorio - nLab

El n Lab es un wiki para notas de nivel de investigación, exposiciones y trabajo colaborativo, incluida la investigación original, en matemáticas , física y filosofía , con un enfoque en métodos de la teoría de categorías y la teoría de la homotopía . El n Lab defiende el " punto de vista n -categórico " (un juego de palabras deliberado con el "punto de vista neutral" de Wikipedia ) de que la teoría de categorías y, en particular, 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.

Descripción general

El n Lab fue concebido originalmente para proporcionar un repositorio de ideas (e incluso nuevas investigaciones) generadas en los comentarios de las publicaciones en n -Category Café , un blog grupal dirigido (en ese momento) por John C.Báez , David Corfield y Urs. Schreiber . Finalmente, n Lab se convirtió en un proyecto independiente, que desde entonces ha crecido hasta incluir proyectos de investigación completos y material enciclopédico.

Asociado al n Lab está el nForum, un foro de discusión en línea para el anuncio y discusión de las ediciones de n Lab (el análogo de las páginas de "discusión" de Wikipedia) así como para la discusión general de los temas cubiertos en el n Lab. La forma preferida de ponerse en contacto con el comité directivo de n Lab es publicar en el nForum. Un subproyecto experimental del n Lab son las Publicaciones del 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 la wiki principal.

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 se ejecuta en un servidor de la Universidad Carnegie Mellon que se financia en el contexto de la subvención MURI de la Teoría de tipos de homotopía de Steve Awodey . El administrador del sistema es Richard Williamson. El dominio ncatlab.org es propiedad de Urs Schreiber .

El n Lab aparece en MathOverflow como una referencia matemática en línea estándar para verificar antes de hacer preguntas. Muchas preguntas y respuestas enlazan con n Lab para obtener material de referencia. Es uno de los dos wikis mencionados por el físico matemático John C. Baez en su revisión de blogs de matemáticas para la American Mathematical Society .

Hay un comité de dirección informal, que "no dirige el n Lab", pero existe para resolver problemas que causarían problemas en todo el proyecto.

Ver también

Referencias

  1. ^ n POV en n Lab
  2. ^ Urs Schreiber , ¿Qué es ... el nLab?
  3. ^ Comité de dirección en n Lab meta
  4. ^ Awodey, Steve (29 de abril de 2014). "HoTT premiado con un MURI" . Teoría de tipos de homotopía . Consultado el 8 de agosto de 2020 .
  5. ^ MathOverflow , 1.0 página "Cómo preguntar". Archivado el 4 de junio de 2013.
  6. ^ MathOverflow , Resultados de una búsqueda de 'nlab'. A partir del 2018-12-11 hay más de 800 resultados.
  7. ^ John C. Baez , " Blogs de matemáticas ", Avisos de la American Mathematical Society , marzo de 2010
  8. ^ Comité de dirección en n Lab meta

enlaces externos