そろそろ本格的に数学タグを使い始めようかと思いました。とはいえ雑記が数学になるだけなのですが。 テンソル積の右完全性の、随伴関手を使った証明を教えてもらいました。Homの左完全性を復習しておきたいです。 微分形式がよく分かりません。悲しい。 色…