add some figures and information on monoidal categories