nLab

ncatlab.org · 1,796 words · saved by 8 readers

This is a wiki for collaborative work on Mathematics, Physics, and Philosophy — especially, but far from exclusively, from the n-point of view: with a sympathy towards the tools and perspective of higher algebra, homotopy theory, type theory, category theory and higher category theory. The nLab records and explores a wide range of mathematics, physics, and philosophy. Along with work of an expository nature, original material can be found in abundance, as can notes from evolving research. Where mathematics, physics, and philosophy arise in other fields, computer science and linguistics for example, the nLab explores these too. If you take a little time to find something in the literature, or to work through a proof or example, or to find an intuitive or new way to think about something, add a note on it to the nLab! Others will benefit, and you may well find that it proves useful to you too. A fundamental idea behind the nLab is that the linking between pages of a wiki is a profound wa

Contents Contents nLab Content Mathematics Physics Philosophy Resources Mathematics Resources Physics Resources Philosophy Resources Community nForum Latest Changes HowTo Uploaded Files Sandbox mathematics math resources history of mathematics Structural Foundations logic internal language classical mathematics constructive mathematics predicative mathematics category:foundational axiom set theory structural set theory category theory Categories and Sheaves topos theory Sheaves in Geometry and Logic higher category theory higher topos theory (∞,1)-topos…

nLab

saved by

related reading