Spherical 2-categories and 4-manifold invariants - Mackaay, Marco (2018)