Timeline for Awfully sophisticated proof for simple facts
Current License: CC BY-SA 2.5
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 19, 2015 at 2:45 | comment | added | Vectornaut | @MartinBrandenburg: Because at first, due to the way your comment was phrased, I mistook it for a joke. Then I realized that if I thought about it, I would probably learn something deep about the Yoneda lemma, making it the best kind of joke. | |
| Apr 23, 2015 at 14:09 | comment | added | Martin Brandenburg | @Vectornaut: Why? | |
| Aug 20, 2012 at 16:54 | comment | added | Vectornaut | @Martin Brandenburg: +1 can't stop laughing. | |
| Dec 28, 2010 at 9:56 | comment | added | Martin Brandenburg | The widely used "non-Yoneda" arguments are essentially repetitions of the Yoneda argument in special cases. | |
| Oct 18, 2010 at 17:52 | comment | added | Mariano Suárez-Álvarez | Well, some of us have applied the Yoneda lemma and prefer the non-Yoneda argument here, too! :) | |
| Oct 18, 2010 at 6:02 | comment | added | Andrej Bauer | But surely normal human beings (i.e., those who have never applied Yoneda lemma of their own free will) prefer to hear "therefore they are lower bounds of each other, hence equal"? | |
| Oct 17, 2010 at 22:01 | comment | added | Qiaochu Yuan | I don't think this is overkill; it is actually how I think about this result. | |
| Oct 17, 2010 at 20:12 | history | answered | Andrej Bauer | CC BY-SA 2.5 |