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