カテゴリ同値と自然同型に関する概念