ERRATA

The following is a list of typos in the paper

P. Selinger. "Finite dimensional Hilbert spaces are complete for
dagger compact closed categories". Logical Methods in Computer
Science 8(3:6):1-12, 2012.

Note: these typos are only present in the published journal paper,
which is also the ArXiv paper; the version on my website has already
been corrected.

* Page 7, proof of Lemma 5.4:

"Equation (5.4)" ----> "Equation (5.3)"

"\theta_{out}" ----> "\theta_{in}" (twice)

Thanks to Aleks Kissinger for pointing out this typo.