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:
“Then the justice,
In fair round belly with good capon lined,
With eyes severe and beard of formal cut,
Full of wise saws and modern instances;
And so he plays his part.”
—William Shakespeare (1564–1616)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)