Timeline for Independence and Category Theory
Current License: CC BY-SA 2.5
3 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 19, 2010 at 4:06 | history | edited | David Roberts♦ | CC BY-SA 2.5 |
deleted 4 characters in body
|
Oct 19, 2010 at 1:43 | comment | added | Joel David Hamkins | David, the question of whether there is a functor of a certain kind from one category to another can also be seen as a purely set-theoretic question (is there a function from the objects and morphisms from the first category to the other with certain properties) rather than as a category theoretic question that only makes sense in some bigger meta-category. And I see this as the key issue involved in your other recent question mathoverflow.net/questions/42710/… | |
Oct 18, 2010 at 22:59 | history | answered | David Roberts♦ | CC BY-SA 2.5 |