  We demonstrate that, in certain cases, quantization and the classical limit
provide functors that are "almost inverse" to each other. These functors map
between categories of algebraic structures for classical and quantum physics,
establishing a categorical equivalence.
