 | This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics | | Stub | This article has been rated as Stub-class on Wikipedia's content assessment scale. | ??? | This article has not yet received a rating on the project's priority scale. |
|
The above description does not seem accurate -- the arrows should be *unitary* transformations or *contractions.* Otherwise, this is none other than the category of finite dimensional vector spaces.
- Actually, I added 'between them' thus, it must satisfies some properties w.r.t. the form. This (unitary maps or contraction) should be added in the 'properties' list and defined w.r.t. the dagger-monoidal structure. Moreover, discussion should *not* take place in the article but here.