lSpace A Khovanov homotopy type or two (history)

December 19, 2011