Assertion: transpose | /r/HasProperty | special case of a structure
Facets:
Source sentences:
text: A slightly less naive comment is that the transpose is a special case of a structure called a dagger category, which is a category in which every morphism