lSpace Chern-Weil forms and abstract homotopy theory (history)

January 28, 2013