The categorified Heisenberg algebra I: A combinatorial representation

We show how Khovanov's categorification of the Heisenberg algebra arises as a linearization of a discrete combinatorial structure in the bicategory of spans of groupoids. We also treat a categorification of U(sln) in a similar way.