Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
The point of the entry is clearly to give a name to the extra structure found on underlying graphs of dagger categories.
I have no memory of creating this entry 13 years ago (as I learn from the page history that I must have done), but if “dagger-category” is a sensible term (which may be debated but has come to be widely accepted, for better or worse) , then so is “dagger-graph”.
I have adjusted the wording in the entry to make this clearer. But it’s not a big deal either way.
1 to 2 of 2