Talk:Dagger compact category

Physics Low‑importance

	Physics portal This article is within the scope of WikiProject Physics, a collaborative effort to improve the coverage of Physics 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.PhysicsWikipedia:WikiProject PhysicsTemplate:WikiProject Physicsphysics articles
Low	This article has been rated as Low-importance on the project's importance scale.

Mathematics Low‑priority

	Mathematics portal 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 articles
Low	This article has been rated as Low-priority on the project's priority scale.

examples of f-dagger

It may help to make the article more useful if somebody (more proficient at this than I) adds what is f^\dagger in each of the examples.

All the dagger does is reverse the direction of arrows. So, if

f:A\longrightarrow B

, then

f^{\dagger }:B\longrightarrow A

. I will have a look at the examples... --Radjenef (talk) 01:39, 28 April 2009 (UTC)[reply]

In Hilb, f^\dagger is given by the adjoint of f, in Rel it is given by the opposite relation, and in the category of finitely generated projective modules it is... what, the transpose of the matrix representation of a linear map? —Preceding unsigned comment added by 130.54.16.83 (talk) 07:36, 26 May 2009 (UTC)[reply]

TODO List

Things that need clarification:

The bit about defining a basis here makes use of relations from coalgebra to define it. Much the same as in Frobenius algebra, except that the dagger version of the axioms are not given there ('Frobenius law'). This needs to be firmed up; the dagger version needs to be added there.
The Frobenius part has something to do with the movement of classical information (viz not quantum information) since frobenius stuff can be cloned/delete. This needs to be explained in detail.
Quantum mechanics technically lives on complex projective hilbert space, not hilbert space in general. What would need to be added to make a category be projective? Is there a projective category?
So, for example, normally, unitarity arises from the projective nature .. here, we might expect unitarity to be a 2-cell between morphisms ... right!?
Hilbert space is defined for any field; including finite fields; again, QM works only for the field being the complex numbers. Can anything intelligent be said about this?
What, exactly, is the deal with finite vs. infinite-dim hilbert space? Can we explicitly demonstrate why this doesn't work for the infinite case (yes, compactness. but spell it out in detail...)
Stuff like the basis, eigenvectors, etc. should be worked out in detail for the category of relations, viz to have a clearer view of what it looks like in a different cat.

User:Linas (talk) 07:35, 27 November 2013 (UTC)[reply]

Closedness

The definition states that closedness is equivalent to the hom-sets being objects of the monoidal category itself. This is only intuitively true, the correct statement is that the generalized 1-elements (1 being the unit object) of the internal hom are isomorphic to the hom-set. Nmdwolf (talk) 07:40, 3 May 2023 (UTC)[reply]

Eigenstates

I'm not an expert in category theory, but the part about eigenstates confuses me: shouldn't they be morphisms rather than objects? Diomsk (talk) 18:36, 4 November 2023 (UTC)[reply]