詳細が不明だが、そのカテゴリーで各々の極限があるなら普遍性だけで示せないか？