lSpace Differential cohomology in a cohesive infinity-topos (history)

October 29, 2013