I'm a 72 year old constructive mathematician who has spent most of his professional life with computers. I have worked on the design of Algol 68, and have attempted formal verification using constructive type theory. I would love to understand how category theory is involved with quantum mechanics.