nLabの2-前層〈2-presheaf〉の項目 https://ncatlab.org/nlab/show/2-presheaf を見ると、2-前層はインデックス付き圏〈indexed category〉の別名のようです。インデックス付き圏の定義 https://ncatlab.org/nlab/show/indexed+category を参照すると、2-圏…