佐武一郎の代数学への誘いにちょっとcanonicalについて書いてあったね

というかそれを読んでの>>559なのかもしれないけど