* がright adjointを持つ → colimitと可換 なので、ベースのHeyting代数を表現定理を使ってprime filterのjoinで表している場合、 * はpointwiseに定義されたものだとみなせそうだなみたいなことを考えていた