https://ncatlab.org/nlab/show/Grothendieck+fibration#opfibrations_and_bifibrations 全圏と底圏の反対圏を取ったものがファイブレーションなら、それは反ファイブレーション。反ファイブレーションは、共変のインデックス付き圏＝余インデックス付き圏に…

近傍半辺集合〈近傍フラグ集合〉： ボリソフ／マニンは $`F_\tau(v) = \partial^{-1}(v)`$ edge-corolla ： 頂点とその近傍半辺集合から作られるカローラ grafted edge ： ソースグラフのテールがペアリングされて作られたターゲット側の内部辺 edge preserv…