意味の形式的理論 -- Fibration



ところで、先のポストで見た二つの図式と同じような構造を持つ数学的対象が存在するのだ。
次の図を見て欲しい。二つの集合EとBとが、二つの関数 pとs とで結ばれている。
集合Eの各点は、集合B上の一点xと、pで結ばれている。この時、pをB上のFibrationという。逆に、関数sが、xをE上の点 s(x)に写す時、sをpのsection(切片と思えばいい)と呼ぶ。


コメント

このブログの人気の投稿

Google翻訳での日本語の点数の低さについて

誕生日

Google翻訳のアーキテクチャー(2) Encoder / Decoder