nLab
Recently Revised

Categories:[Any] S5-slideshow, adjective, category, category theory, cohesive (∞1)-topos, disambiguation, drafts, foundational axiom, functional analysis, group theory, groupoid, higher topos theory, knot theory, meta, motivation, orbifold, people, reference, simplicial object, spam, svg, type theory, ∞-groupoid

January 10, 2012

Kan object ( diff | history )
by Mike Shulman at January 10, 2012 21:46:03 from 71.136.235.72