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)
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)