関手 に対し，関手 の間の自然変換 を考える． 関手 に対し，自然変換 は，それぞれ写像 を誘導する． 写像 は，それぞれ自然変換 を定める． 逆に，自然変換 は， に対し， と を合成して， を誘導する． 自然変換 は， に対し， と を合成して， を誘導す…

Dirac sea, Sato Grassmannian, Wakimoto module, Floer homology などを理解するための概念．どう定義したらよいか？