ncatlab.org

This is a wiki-lab for collaborative work on Mathematics, Physics and Philosophy — especially from the n-point of view: in so far as these subjects are usefully treated with tools and notions of categ...

i A_i \stackrel{g}{\to} A'_i in the groupoid of Lie-algebra valued forms is historically the hallmark of the “gauge principle” and is often what is meant specifically by gauge transformation . But fr...

Context Type theory Constructivism, Realizability, Computability Homotopy theory Background Variations Definitions Paths and cylinders Homotopy groups Theorems (∞,1)(\infty,1)-Topos T...

∈ = =” alone, and where sets can be elements of other sets, hence where there are sequences of sets which are elements of the next set in the sequence. This latter feature, however, is almost never ac...