Hilbert Space

Wikipedia nLab

References