[追記]層論化、まじめに考えると大変だわ。[/追記]層論化前層から層を作る層化とは別に、「ナニカの層論化」がある。定式化する。Cが圏のとき、SがTopの部分圏（Topへの埋め込みを持つ圏）だとして、グロタンディークサイトの構造を持たせる。この状況で、 …

ヤコビ計算とは、自明ファイバーバンドルの圏の計算ということになる。自明ファイバーバンドルは、底空間とファイバーからなるが、底空間の圏Bと、ファイバーの圏Fを仮定する。 Bは、対称モノイド圏である。モノイド積は通常直積だが、他でもいいかも。 Fは…

特殊相対論は、一般相対論の特殊ケースとみるか、ニュートン力学の変更〈リバイス〉とみるかで定式化が違ってくる。できるだけニュートン寄せで定式化すると、絶対的なニュートン計時を、たくさんあって任意に選べるミンコフスキー計時に変更して、バンドル…