Abstract
These lecture notes survey some joint work with Samson Abramsky as it was
presented by me at several conferences in the summer of 2005. It concerns
`doing quantum mechanics using only pictures of lines, squares, triangles and
diamonds'. This picture calculus can be seen as a very substantial extension of
Dirac's notation, and has a purely algebraic counterpart in terms of so-called
Strongly Compact Closed Categories (introduced by Abramsky and I in
<a href="/abs/quant-ph/0402130">quant-ph/0402130</a> and 4) which subsumes my Logic of Entanglement
<a href="/abs/quant-ph/0402014">quant-ph/0402014</a>. For a survey on the `what', the `why' and the `hows' I refer
to a previous set of lecture notes <a href="/abs/quant-ph/0506132">quant-ph/0506132</a>. In a last section we
provide some pointers to the body of technical literature on the subject.
Users
Please
log in to take part in the discussion (add own reviews or comments).