Worldlex Wiki Le n Lab est un wiki dédié aux notes de recherche, aux exposés et aux travaux collaboratifs. Il rassemble des recherches originales en mathématiques , en physique et en philosophie, axées sur les méthodes de la théorie des types , de la théorie des catégories et de la théorie de l'homotopie . Le n Lab défend le « point de vue n » (un jeu de mots délibéré avec le « point de vue neutre » de Wikipédia ), selon lequel la théorie des types, la théorie de l'homotopie, la théorie des catégories et la théorie des catégories supérieures offrent une perspective utile et unificatrice pour les mathématiques, la physique et la philosophie.
Le n dans le point de vue n pourrait faire référence soit aux n- catégories telles qu'on les trouve dans la théorie des catégories supérieures, soit aux n -groupoïdes tels qu'on les trouve à la fois dans la théorie de l'homotopie et dans la théorie des catégories supérieures, soit aux n -types tels qu'on les trouve dans la théorie des types d'homotopie .
Aperçu
Le n Lab a été initialement conçu pour servir de dépôt aux idées (et même aux nouvelles recherches) générées dans les commentaires des articles du n -Category Café , un blog collectif alors animé par John C. Baez , David Corfield et Urs Schreiber . Le n Lab est finalement devenu un projet indépendant, qui s'est depuis étendu à des projets de recherche complets et à du contenu encyclopédique.
Le n Lab est associé au nForum : un forum de discussion en ligne permettant d’annoncer et de discuter des modifications apportées au n Lab (l’équivalent des pages de discussion de Wikipédia), ainsi que d’aborder plus généralement les sujets traités par le n Lab. Le moyen privilégié de contacter le comité de pilotage du n Lab est de publier un message sur le nForum. Un sous-projet expérimental du n Lab est le «Les publications du laboratoire n , conçues comme une revue pour des articles de recherche évalués par des pairs, sont publiées en ligne et reliées par hyperlien au wiki principal. Ce sous-projet semble inactif depuis 2014.
Le laboratoire n a été créé le 28 novembre 2008 par Urs Schreiber à l'aide du logiciel Instiki fourni et maintenu par Jacques Distler . Depuis mai 2015, il est hébergé sur un serveur de l'Université Carnegie Mellon , financé par la bourse MURI de Steve Awodey pour la théorie des types homotopiques . Le domaine ncatlab.org appartient à Urs Schreiber .
Le n Lab est répertorié sur MathOverflow comme une ressource mathématique en ligne standard à consulter avant de poser des questions. De nombreuses questions et réponses renvoient au n Lab pour obtenir des informations complémentaires. Il s'agit de l'un des deux wikis mentionnés par le physicien mathématicien John C. Baez dans son analyse des blogs mathématiques pour l' American Mathematical Society .
Il existe un comité de pilotage informel, qui ne dirige pas le n Lab, mais existe afin de résoudre les problèmes qui pourraient mettre en difficulté l'ensemble du projet.
Le contenu de ce wiki n'est pas soumis à une licence de droit d'auteur spécifique .