Dagger Symmetric Monoidal Category - Examples

Examples

The following categories are examples of dagger symmetric monoidal categories:

  • The category Rel of sets and relations where the tensor is given by the product and where the dagger of a relation is given by its relational converse.
  • The category FdHilb of finite dimensional Hilbert spaces is a dagger symmetric monoidal category where the tensor is the usual tensor product of Hilbert spaces and where the dagger of a linear map is given by its hermitian adjoint.

Read more about this topic:  Dagger Symmetric Monoidal Category

Famous quotes containing the word examples:

    In the examples that I here bring in of what I have [read], heard, done or said, I have refrained from daring to alter even the smallest and most indifferent circumstances. My conscience falsifies not an iota; for my knowledge I cannot answer.
    Michel de Montaigne (1533–1592)

    It is hardly to be believed how spiritual reflections when mixed with a little physics can hold people’s attention and give them a livelier idea of God than do the often ill-applied examples of his wrath.
    —G.C. (Georg Christoph)

    No rules exist, and examples are simply life-savers answering the appeals of rules making vain attempts to exist.
    André Breton (1896–1966)