Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory (Logical Methods in Computer Science, 2020)