nLab An Exercise in Kantization

Motivation

Once, Johan Alm wrote some very neat notes:

• Quantization as a Kan Extension

A discussion is available at the $n$Café. The paper proves an aspect of the “$n$-Café Quantum Conjecture”, suggested by Urs Schreiber. There is some old discussion at previous versions of the page Quantization as a Kan Extension, and some on-page discussion that is now stored at the nForum.

Further work

Discussion of quantization in terms of Kan extension and pushforward in generalized cohomology is now at motivic quantization, with notes being at master thesis Nuiten and Quantization via Linear homotopy types .

category: reference