Bob Coecke
In
Bob Coecke, Introducing categories to the practicing physicist (arXiv:0808.1032)
Bob Coecke, Categories for the practising physicist (arXiv:0905.3010)
the authors try to motivate and introduce some basic concepts of category theory for an audience familiar with standard physics and in particular with quantum mechanics. See also higher category theory and physics.
The article focuses towards the end on monoidal categories, their description in terms of string diagrams and on quantum mechanics in terms of dagger-compact categories.
More details on the use of string diagrams in dagger-categories for the description of quantum mechanics is in
Bob Coecke, Kindergarten quantum mechanics (arXiv:quant-ph/0510032)
Bob Coecke, Quantum Picturalism (arXiv:0908.1787)
Discussion of DisCoPy:
Last revised on December 9, 2020 at 04:39:08. See the history of this page for a list of all contributions to it.