Comment by hgsgm
4 years ago
No, because in discrete differentiation like this, there is no limiting process where openness matters, and open/closedness is completely trivial in discrete spaces.
The "one-hole" is in the discrete types, not the potentially continuous values.
Right, the "elements of x" made me think values, but those elements really are other types.
Crazy where operator overloading will get you. If there are postmodern math papers I feel like this is one of them