最終更新日：2024/08/04
A Cartesian natural transformation is a natural transformation between two functors that preserves Cartesian structure.
正解を見る
A Cartesian natural transformation is a natural transformation between two functors that preserves Cartesian structure.
編集履歴（0）
