Involutive Heegaard Floer homology and surgeries 2/2

In this video, we cover a few aspects of the proof of the involutive exact sequences, as well as the mapping cone formula. We also give a semi practical overview of the surgery formula. This is joint work in progress with K. Hendricks, J. Hom and M. Stoffregen.