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:
“It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
—Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)