インデックス付き圏（indexed category）を見つけたとき、とりあえずグロタンディーク構成（Grothendieck construction）をしてみると、なんか面白いことがあるかも知れません（いつも面白いとは保証しませんが）。例えば、圏Cから圏Setへの関手 F:C→Set が…