Categorical aspects of topological quantum computing Monoidal and enriched categories mathematics