多様体を考えるとき、マテリアル解釈とスペース解釈がある。M→M という自己同型射を考えるときも、解釈は： Mmaterial→Mspace Mmaterial→Mmaterial Mspace→Mspace がある。いつでもこういう解釈が必須というわけではないが、概念の理解に解釈が役にたつかも…

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

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