Quantization: First quantization is a mystery, second quantization is a functor (Edward Nelson)