This page used to point to some notes on the idea of formalizing quantization (the supposed process that takes prequantum field theory/classical field theory to quantum field theory) by essentially realising the path integral as a Kan extension.

The content that used to be here has been superseded. Discussion of quantization in terms of Kan extension and pushforward in generalized cohomology is now at

motivic quantization, with notes being atmaster thesis NuitenandQuantization via Linear homotopy types.

Last revised on September 24, 2021 at 13:13:17. See the history of this page for a list of all contributions to it.