writing about monoidal categories