Reputation
891
Top tag
Next privilege 1,000 Rep.
Create new tags
Badges
5 16
Newest
 Tag Editor
Impact
~5k people reached

1d
comment Why do dagger categories supposedly capture the structure of a Hilbert space?
Great that the recipe works as well, but to me it seems that there is some category theory insight hidden behind that. Maybe it's the dagger compact structure?
Jun
16
comment Why do dagger categories supposedly capture the structure of a Hilbert space?
But how do you define the „abstract" inner product on, say, cobordisms?
Jun
15
awarded  Tag Editor
Jun
15
revised dagger-categories wiki description
added 624 characters in body
Jun
15
revised dagger-categories wiki excerpt
added 171 characters in body
Jun
15
revised An “identity” functor $f:\mathbf{Rel} \to \mathbf{Rel}^{OP}$
Added tag "dagger-categories"
Jun
15
revised Where can I learn more about the concept that is dual to “relation”?
Added tag "dagger-categories"
Jun
15
wiki created dagger-categories description
Jun
15
wiki created dagger-categories excerpt
Jun
15
suggested approved edit on dagger-categories tag wiki
Jun
15
suggested approved edit on dagger-categories tag wiki excerpt
Jun
15
revised In a dagger category, what do we call an arrow $f$ such that $f \circ f^\dagger \circ f = f$?
Added tag "dagger-categories"
Jun
15
revised In a dagger category, is there a name for morphisms $f : X \rightarrow Y$ with $\mathrm{id}_X = f^\dagger \circ f$?
Added tag "dagger-categories"
Jun
15
revised If $m = g \circ f$ in a dagger category and $m$ is an isometry, is it possible that $f$ fails to be an isometry?
Added tag "dagger-categories"
Jun
15
revised Dagger category generated by $\mathsf{Set}$ viewed as a subcategory of $\mathsf{Rel}$.
Added tag "dagger-categories"
Jun
15
awarded  Organizer
Jun
15
revised Two definitions of a monovalued morphism
Added tag "dagger-categories"
Jun
15
suggested approved edit on Where can I learn more about the concept that is dual to “relation”?
Jun
15
suggested approved edit on Two definitions of a monovalued morphism
Jun
15
suggested approved edit on An “identity” functor $f:\mathbf{Rel} \to \mathbf{Rel}^{OP}$