最終更新日:2024/08/03
A Cartesian closed category is a category in which every hom-set is equipped with a Cartesian closed structure.
正解を見る
A Cartesian closed category is a category in which every hom-set is equipped with a Cartesian closed structure.
編集履歴(0)