Mac Lane and Moerdijk, "Sheaves in Geometry and Logic"（以下 SGL）の演習問題 I.9 は普通に考えるとおかしい（但し，問題文自体が不正確なので間違いと言い切るのも難しい）．結論があまり僕にはなじみのないもので面白かったので書いておく．演習問題 I…