Pierce 本に書いてあったことで、初見では諦めてた問題×2。やっぱり解けない。一見簡単そうなんだけどなあ…? 本の中での扱いも小さいし。 Find a small finite cartesian category that is not cartesian closed. CCC では常に A^1 と A は isomorphic か。…