juan_gandhi: (Default)
Juan-Carlos Gandhi ([personal profile] juan_gandhi) wrote 2020-06-30 08:01 pm (UTC)

Well, because the definition comes from the classifying arrow, and this classifying arrow depends on how the topos works. If we have Set^2, that's one thing; if we have Set^[0,1,2,3], it's the other thing. In both cases Ω has 4 points.

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting