
Strongly ribbon category
Encyclopedia
A strongly ribbon category is a ribbon category
equipped with a dagger structure
such that the functor
coherently preserves the ribbon structure.

Dagger category
In mathematics, a dagger category is a category equipped with a certain structure called dagger or involution...
such that the functor
