Formal Definition
A dagger symmetric monoidal category is a symmetric monoidal category which also has a dagger structure such that for all, and all and in ,
- ;
- ;
- ;
- and
- .
Here, and are the natural isomorphisms that form the symmetric monoidal structure.
Read more about this topic: Dagger Symmetric Monoidal Category
Famous quotes containing the words formal and/or definition:
“I will not let him stir
Till I have used the approvèd means I have,
With wholesome syrups, drugs, and holy prayers,
To make of him a formal man again.”
—William Shakespeare (1564–1616)
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)