Loading article…
n Lab は、研究レベルのノート、解説、共同作業のためのwikiです。型理論、圏論、ホモトピー理論の手法に焦点を当てた、数学、物理学、哲学におけるオリジナルの研究が含まれています。n Lab は、「nの観点」[ 2 ] ( Wikipediaの「中立的な観点」を意図的にもじったもの) を支持しており、型理論、ホモトピー理論、圏論、高次圏論は、数学、物理学、哲学にとって有用で統一的な観点を提供するというものです。
nの観点におけるnは、高次圏論に見られるn圏、ホモトピー理論と高次圏論の両方に見られるn群圏、またはホモトピー型理論に見られるn型のいずれかを指す可能性がある。
n Lab は、当初は、当時John C. Baez、David Corfield、Urs Schreiberが運営していたグループ ブログn -Category Caféの投稿に対するコメントで生成されたアイデア (および新しい研究) のリポジトリを提供することを目的として構想されました。最終的にn Lab は独立したプロジェクトに発展し、その後、研究プロジェクト全体や百科事典的な資料を含むまでに成長しました。[ 3 ]
n Labには nForum が関連しています。nForum は、 n Labの編集の告知と議論（Wikipedia の「トーク」ページに相当するもの）や、n Lab で取り上げられているトピックの一般的な議論のためのオンライン ディスカッション フォーラムです。n Lab 運営委員会に連絡する推奨方法は、 nForum に投稿することです。[ 4 ] n Labの実験的なサブ プロジェクトは 'n Lab'の出版物は、オンラインで公開され、メインの wiki と相互にハイパーリンクされた査読付き研究論文のジャーナルとして意図されています。このサブプロジェクトは、2014 年現在、活動していないようです。[ 5 ]
n Labは、 2008年11月28日にUrs Schreiberによって、 Jacques Distlerが提供および保守しているInstikiソフトウェアを使用して設立されました。2015年5月以降、 Steve AwodeyのHomotopy Type Theory MURI助成金の枠組みで資金提供されているカーネギーメロン大学のサーバー上で稼働しています。[ 6 ]ドメインncatlab.orgはUrs Schreiberが所有しています。
n Lab は、 MathOverflowで質問する前に確認すべき標準的なオンライン数学リファレンスとしてリストされています。[ 7 ]多くの質問と回答は、背景資料として n Lab にリンクしています。[ 8 ]これは、数学物理学者のジョン C. バエズがアメリカ数学会の数学ブログのレビューで言及した 2 つの wiki のうちの 1 つです。[ 9 ]
n Labを運営するわけではないが、非公式の運営委員会が存在し、[ 10 ]プロジェクト全体が問題に陥る可能性のある問題を解決するために存在している。