Full Subcategory: FinHilb ⊊ Hilb

FinHilb is a full subcategory of Hilb. When any two Hilbert spaces of Hilb are finite-dimensional Hilbert spaces in FinHilb, all short linear maps between them are short linear maps in FinHilb too. Put another way, FinHilb has only some of the objects of Hilb, but all of the arrows.

In terms of stuff, structure, and properties, finite-dimensional Hilbert spaces are like Hilbert spaces but with extra properties.

full_subcategories: FinHilb, Hilb

This data as json