1: \begin{abstract}

2: 

3: A 2-Hilbert space is a category with structures and properties

4: analogous to those of a Hilbert space.  More precisely, we define a

5: 2-Hilbert space to be an abelian category enriched over $\Hilb$ with a

6: $\ast$-structure, conjugate-linear on the $\hom$-sets, satisfying

7: $\langle fg,h \rangle = \langle g,f^\ast h \rangle = \langle

8: f,hg^\ast\rangle$.  We also define monoidal, braided monoidal, and

9: symmetric monoidal versions of 2-Hilbert spaces, which we call

10: 2-H*-algebras, braided 2-H*-algebras, and symmetric 2-H*-algebras, and

11: we describe the relation between these and tangles in 2, 3, and 4

12: dimensions, respectively.  We prove a generalized Doplicher-Roberts

13: theorem stating that every symmetric 2-H*-algebra is equivalent to the

14: category $\Rep(G)$ of continuous unitary finite-dimensional

15: representations of some compact supergroupoid $G$.  The equivalence is

16: given by a categorified version of

17: the Gelfand transform; we also construct a categorified version of the

18: Fourier transform when $G$ is a compact abelian group.  Finally, we

19: characterize $\Rep(G)$ by its universal properties when $G$ is a compact

20: classical group.  For example, $\Rep(\U(n))$ is the free connected symmetric

21: 2-H*-algebra on one even object of dimension $n$.

22: \end{abstract}

23: