@b4c50e1b This was fun! I use only a bit of categorical language in my everyday life, so notions like "braided monoidal category" often sound intimidating. But much less so once I find a mental place where to put them. Thanks!