nLab
symmetric monoidal dagger category
Contents
Context
Category theory
category theory
Concepts
Universal constructions
Theorems
Extensions
Applications
Contents
Definition
A symmetric monoidal dagger category is a braided monoidal dagger category which is also a symmetric monoidal category, i.e. such that for all objects and , .
Examples
See also
Last revised on May 16, 2022 at 04:51:01.
See the history of this page for a list of all contributions to it.