>>76
微分代数と呼んでしまうとderivationをもつalgebraと紛らわしいことこの上ない

ところで微分形式=(反対称)共変テンソル場が「形式的」ってどういう意味で言ってるのか気になる
形式という言葉は2次形式とか双線形形式とかと同じである種の写像のことをそう呼んでるだけでしょ