under construction – for the moment see differential cohomology in an (∞,1)-topos
Created on February 19, 2010 at 21:38:40. See the history of this page for a list of all contributions to it.