In fact , every endomorphism hom - set in a dagger category is not simply a monoid , but a monoid with involution , because of the dagger .
Any monoid with involution is a dagger category with only one object .
Every endomorphism hom - set in a dagger category is not simply a monoid , but a monoid with involution , because of the dagger .
Any monoid with involution is a dagger category with only one object .