  We introduce semisimple 2-categories, fusion 2-categories, and spherical
fusion 2-categories. For each spherical fusion 2-category, we construct a
state-sum invariant of oriented singular piecewise-linear 4-manifolds.
