全圏と底圏の反対圏を取ったものがファイブレーションなら、それは反ファイブレーション。反ファイブレーションは、共変のインデックス付き圏=余インデックス付き圏に対応する。同一の射影関手が、同時にファイブレーションであり反ファイブレーションであるとき、双ファイブレーション。
双ファイブレーションは随伴トリプルに対応する。
論理/型理論 | Σf | Δf | Πf |
層の理論 | f! | f* | f* |
これは、グロタンディーク四オペレーションの f* = f! のケース。https://ncatlab.org/nlab/show/six+operations
- $`f_! \dashv f^!`$
- $`f^* \dashv f_*`$
- $`f_! \dashv f^! = f^* \dashv f_*`$
反ファイブレーションは、余ファイバー付き圏(by グロタンディーク)。が、ホモトピー論と相性が悪い。ホモトピー的には:
- ファイブレーション: リフティング性を持つ。
- 余ファイブレーション: 拡張性を持つ。
[追記]スライス・インデキシング $`X \mapsto \mathcal{C}/X`$ では、後結合前送り関手が $`f_!`$ で、その随伴のデカルト引き戻しが $`f^*`$ 。つまり、$`f_! \dashv f^*`$ 。さらに引き戻し $`f^*`$ の右随伴があれば $`f*`$ 、つまり $`f^* \dashv f_*`$ 。結局 $`f_! \dashv f^* \dashv f_*`$ 。
[/追記]