計算の利便性を追求した結果、凄まじいオーバーロード（多義的使用）を使う習慣が定着してしまった。今更どうにもならないので、必要に応じて区別して解釈する。 Mは多様体 UはMの開集合 x:U→Rn は局所座標 は、関数または関数タプルを右から掛ける掛け算記…

2019年5月3日/4日に連投している。 ヤコビ表示とヤコビ形式 - (新) 檜山正幸のキマイラ飼育記 メモ編 ヤコビ表示変換＝ゼー関手 - (新) 檜山正幸のキマイラ飼育記 メモ編 ヤコビ表示関手＝Д関手 - (新) 檜山正幸のキマイラ飼育記 メモ編 二種類のヤコビ表示…

射影公式 - (新) 檜山正幸のキマイラ飼育記 メモ編 微分の上昇と下降 - (新) 檜山正幸のキマイラ飼育記 メモ編 多様体のあいだの写像に、その接微分〈tangent differential〉と余接微分〈cotangent differential〉を対応させる。 接微分関手 余接微分関手 圏…