Categories in quantum mechanics Monoidal and enriched categories mathematics