Thanks! I will check these out. Intuitively, I can imagine how working with monoidal categories could bring software closer to physics. Much of the QFT and QM work that has crossed my desk recently seems to be developed in that frame. -- Sent from: http://friam.471366.n2.nabble.com/