nLab
2-Hilbert space

A $2$-Hilbert space is a categorification of a Hilbert space. It is a Kapranov-Voevoedsky 2-vector space with extra structure, although often defined in a very different way.

See

• John Baez; Higher-Dimensional Algebra II: 2-Hilbert Spaces (arXiv)

for one approach.