added a section on monoidal categories
added diagrams to intro on monoidal cats, simplified the diagrams for duality