bit of writing about monoidal cats