lipshitz-sarkar's construction of khovanov homotopy type - 42Papers