Strongly ribbon category

From Wikipedia, the free encyclopedia

A strongly ribbon category is a ribbon category $\mathbb{C}$ equipped with a dagger structure such that the functor $\dagger : \mathbb{C}^{op} \rightarrow \mathbb{C}$ coherently preserves the ribbon structure.

[edit] References

S. Abramsky and B. Coecke, A categorical semantics of quantum protocols, Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS'04). IEEE Computer Science Press (2004).
E.O. Paquette, A categorical semantics for topological quantum computation, Master's thesis, University of Ottawa (2004).

This category theory-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "http://en.wikipedia.org../../../s/t/r/Strongly_ribbon_category.html"

Categories: Dagger categories | Monoidal categories | Category theory stubs