The ABJM Model is a Higher Gauge Theory

M2-branes couple to a 3-form potential, which suggests that their description involves a non-abelian 2-gerbe or, equivalently, a principal 3-bundle. We show that current M2-brane models fit this expectation: they can be reformulated as higher gauge theories on such categorified bundles. We thus add to the still very sparse list of physically interesting higher gauge theories.