圏バンドル

「indexed圏」という言葉はどうも使いにくい。圏バンドル、あるいは単にバンドルにしようかな、勝手に。

幾何学のバンドルと同じ言葉にすると、

• 底圏
• ファイバー圏
• 全圏（ただし、グロタンディーク構成）
• 接続（底圏の射に対してファイバー圏の関手が対応している）