Timeline for The most unexpected and/or the least natural category theory theorem?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 21, 2014 at 2:10 | comment | added | fhyve | I wouldn't call it unexpected, I'd say that it it exactly as expected. Any category, a priori, only has data about objects and arrows. So all way know about any given object is the arrows going into it and coming out of it. We should expect to be able to recover the object, knowing all of the arrows going into it, because that's all there is to know about it! | |
| S Mar 19, 2014 at 13:13 | history | answered | Tom De Medts | CC BY-SA 3.0 | |
| S Mar 19, 2014 at 13:13 | history | made wiki | Post Made Community Wiki by Tom De Medts |