インデックス付き圏（indexed category）の話をしても全くウケないのは承知でもう一回。 インデックス付き圏のインデックス付き圏 - 檜山正幸のキマイラ飼育記 インデックス付き圏の3つの例 - 檜山正幸のキマイラ飼育記 インデックス付き圏があると、それに…