思い付いた事があるんですが、ほっておくと忘れそうなので、ここに書いておきます。「モナドFのクライスリ圏は、F-自由代数の圏とみなせる」と言われます。ゆれなどは相当にあります。「こんな言い方もある、あんな言い方もある」と列挙していると、ときに長大なリストになってしまうことがあります。列挙する代わりに正規表現を使うとコンパクトに記述できます。ある程度の方針を決めたいと思います。代数的に考えれば」において、「リー微分は共変微分である」という間違ったことを書いていました。代数的に考えれば」で、「リー微分も共変微分の一種だ」と書いたのですが間違いでした。リー微分は共変微分じゃないです。記法の整理をかねて」を修正しました。修正箇所は、次の1行だけです。記法の整理をかねて」で、記法を整理すると言いながら、未整理、あるいは曖昧なところがありました。当該記事に修正を入れるか、別記事(この記事ではない)で訂正します。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。