nLab

Le nLab a été conçu à l'origine pour collectionner les idées (et même les nouvelles recherches) avancées dans les commentaires des publications du n -Category Café, un blog géré (à l'époque) par John C. Baez, David Corfield et Urs Schreiber . Cependant, le nLab est depuis devenu un projet indépendant, qui s'est depuis développé pour inclure des projets de recherche complets et des éléments encyclopédique[1].

Associé au nLab, le nForum est un forum de discussion en ligne utilisé pour l'annonce de modifications apportées au nLab, ainsi que la discussion et éventuallement l'amélioration de celle-ci (l'analogue des pages "discussion" de Wikipedia). Il est plus généralement utilisé pour des discussione autour de sujets abordés dans le nLab. La meilleure façon de contacter le comité directeur du nLab est de poster sur le nForum[2]. Un sous-projet expérimental du n Lab, Publications of the nLab, a été lancé, et a vocation à être une revue scientifique pour des articles de recherche vérifiés par un comité scientifique. Il sont alors publiés en ligne et utilisent des liens hypertexte pour lier certains mots-clés à des articles du wiki principal.

Le nLab a été créé le 28 novembre 2008 par Urs Schreiber à l'aide du logiciel Instiki créé et maintenu par Jacques Distler. Depuis mai 2015, il fonctionne sur un serveur de l'Université Carnegie Mellon qui est financé dans le cadre de la bourse MURI Homotopy Type Theory de Steve Awodey[3]. L'administrateur système du nLab est Richard Williamson. Le nom de domaine ncatlab.org appartient à Urs Schreiber.

Le n Lab est répertorié sur MathOverflow comme une ressource mathématique en ligne à utiliser avant de poser des questions[4]. De nombreuses questions de la FAQ renvoient au nLab dans le cas où les informations recherchées sont plutôt basiques[5]. C'est l'un des deux wikis mentionnés par le physicien mathématicien John C. Baez dans sa revue des blogs mathématiques pour l'American Mathematical Society[6].

Il existe un comité de pilotage informel, qui "ne dirige pas le n Lab"[2], mais existe dans le but de résoudre les problèmes qui pourraient entraîner des complications importantes pour l'ensemble du projet.

Le nLab explique adopter un nPOV[7], ou en français un "n-point-de-vue". Ceci est une référence et un jeu de mot associé au sigle NPOV, qui signifie "neutral point of view" (ou "point de vue neutre" en français), utilisé par Wikipédia pour désigner l'un de ses principes fondateurs. En effet, en tant qu'encyclopédie, Wikipédia s'engage à adopter une attitude neutre vis-àvis de sujets abordés dans ses articles, ou alors à y exprimer tous les points de vue existants.

Cependant, le nLab, qui n'est pas une encyclopédie, adopte délibérément un point de vue particulier, le nPOV, ou point de vue "sur-algébrique, homotopique et n-catégorique". Ce point de vue consiste en "le constat que l'algèbre supérieure (ndt l'algèbre homotopique), la théorie de l'homotopie, la théorie des types, la théorie des catégories et la théorie des catégories supérieures ont une pléthore d'applications utiles". Le n dans nPOV ferait ainsi référence aux n-catégories (qu'on retrouve dans la théorie des catégories supérieures), aux n-groupoïdes (que l'on retrouve aussi bien dans la théorie de l'homotopie que dans la théorie des catégories supérieures) ou encore aux n-types (qu'on retrouve dans la théorie des types)

• MathOverflow

• nLab
• nForum
• Publications of the nLab