En matemáticas , la categoría FdHilb tiene todos los espacios de Hilbert de dimensión finita para objetos y las transformaciones lineales entre ellos como morfismos .
Según un teorema de Selinger, la categoría de espacios de Hilbert de dimensión finita se completa en la categoría daga compacta . [1] [2] Muchas ideas de los espacios de Hilbert, como el teorema de no clonación , se cumplen en general para las categorías compactas de daga. Consulte ese artículo para obtener detalles adicionales.