最終更新日：2025/12/05
The equivalence of categories between C and D was demonstrated by exhibiting an adjunction whose unit and counit are both natural isomorphisms.
正解を見る
The equivalence of categories between C and D was demonstrated by exhibiting an adjunction whose unit and counit are both natural isomorphisms.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
元となった例文
圏Cと圏Dが圏の同値であることは、単位と余単位がともに自然同型である随伴を構成することで示された。
