Research
Research
I have been learning simplicial homotopy theory and cubical homotopy theory, and applying these to expanding higher Lie theory. I am currently thinking about how to integrate Lie infinity-algebras using cubical formalism, instead of the existing simplicial methods. My advancement slides (below) summarize the background behind this work.