Comment by nni

here's a short video on "DisCoCat" - https://www.youtube.com/watch?v=99keybEZN4g