- #1
phoenixthoth
- 1,605
- 2
I was wondering how set theory could be categorized. I've heard that category theory can serve as an alternate foundation for math. But a fundamental symbol in the language is ∈. How is this done with arrows?
I was trying to figure out how arrows might be elements of a set (that isn't not a set of arrows), trying to develop an intuition on this. Here's what I came up with. A sequence is kinda two things (it's really only the second, technically):
1. a list of ELEMENTS
2. an ARROW from N to a set
Hmm...
I was trying to figure out how arrows might be elements of a set (that isn't not a set of arrows), trying to develop an intuition on this. Here's what I came up with. A sequence is kinda two things (it's really only the second, technically):
1. a list of ELEMENTS
2. an ARROW from N to a set
Hmm...