Infinity Links L, infinity-4-Manifolds M_L and Kirby Categories

Renaud Gauthier

We construct what we call a Kirby category, a monoidal category whose morphisms are smooth 4-manifolds, projecting down to another monoidal category whose morphisms are orientable…