Timeline for Independence and Category Theory
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 19, 2010 at 4:25 | comment | added | Not Mike | My only problem was that my question was a poor attempt to convey this, I was under the impression that things of this nature (which are considered more of an issue in set theory) where handled in a similar way. I now see, this was a very incorrect assumption | |
| Oct 19, 2010 at 4:23 | comment | added | Not Mike | Well my worry was that in some sense CT needed for things to be settled, or decided "in order to function." (at least this the sense I was always left with after speaking with "category theorist" like Harry for example or reading about category theory). This made me curious about: 1) How "things" which are independent with respect to ZFC transfer into, and play with the inner workings of CT. And 2) If you could even show, using categorical language and tools that these "things" were indeed independent in the first place. He answered both of these. You did not. | |
| Oct 18, 2010 at 22:45 | comment | added | Andrej Bauer | I totally fail to see how this answer (although a very informative one) actually answers your worries. | |
| Oct 18, 2010 at 16:37 | vote | accept | Not Mike | ||
| Oct 18, 2010 at 13:13 | history | answered | François G. Dorais | CC BY-SA 2.5 |