最終更新日：2025/11/30
At the workshop, he explained how a Cartesian natural transformation can be characterized by the property that its naturality squares are pullbacks.
正解を見る
At the workshop, he explained how a Cartesian natural transformation can be characterized by the property that its naturality squares are pullbacks.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
