1: \begin{abstract}
2: \noindent
3: Groupoidification is a form of categorification in which vector spaces
4: are replaced by groupoids and linear operators are replaced by spans
5: of groupoids. We introduce this idea with a detailed exposition of
6: `degroupoidification': a systematic process that turns groupoids and
7: spans into vector spaces and linear operators. Then we present three
8: applications of groupoidification. The first is to Feynman diagrams.
9: The Hilbert space for the quantum harmonic oscillator arises naturally
10: from degroupoidifying the groupoid of finite sets and bijections.
11: This allows for a purely combinatorial interpretation of creation and
12: annihilation operators, their commutation relations, field operators,
13: their normal-ordered powers, and finally Feynman diagrams. The second
14: application is to Hecke algebras. We explain how to groupoidify the
15: Hecke algebra associated to a Dynkin diagram whenever the deformation
16: parameter $q$ is a prime power. We illustrate this with the simplest
17: nontrivial example, coming from the $A_2$ Dynkin diagram. In this
18: example we show that the solution of the Yang--Baxter equation built
19: into the $A_2$ Hecke algebra arises naturally from the axioms of
20: projective geometry applied to the projective plane over the finite
21: field $\mathbb{F}_q$. The third application is to Hall algebras. We
22: explain how the standard construction of the Hall algebra from the
23: category of $\mathbb{F}_q$ representations of a simply-laced quiver
24: can be seen as an example of degroupoidification. This in turn
25: provides a new way to categorify---or more precisely, groupoidify---the
26: positive part of the quantum group associated to the quiver.
27: \end{abstract}