nLab Bob Coecke

Bob Coecke

Selected writings

On quantum protocols in quantum information theory (such as quantum teleportation) formalized as string diagrams in the dagger-compact category of finite-dimensional Hilbert spaces (finite quantum mechanics in terms of dagger-compact categories):

More on the use of string diagrams in and finite quantum mechanics in terms of dagger-compact categories:

Textbook account:

Motivation and introduction 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.

On quantum measurement formulated in finite quantum mechanics in terms of dagger-compact categories in terms of Frobenius algebras and the quantum reader monad:

Discussion of DisCoPy:

category: people

Last revised on November 13, 2022 at 09:23:18. See the history of this page for a list of all contributions to it.