nLab
This is a wiki for collaborative work on Mathematics, Physics, and Philosophy — especially (but far from exclusively) from the higher structures point of view: with a sympathy towards the tools and perspectives of homotopy theory/algebraic topology, homotopy type theory, higher category theory and higher categorical algebra. Contents Purpose The nLab records and explores a wide range of mathematic
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
observational type theory in nLab
