Timeline for A slicker proof that an object must be initial
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 21, 2012 at 23:18 | answer | added | Anton Fetisov | timeline score: 1 | |
| May 21, 2012 at 21:54 | comment | added | Dylan Wilson | Should $F\lambda$ maybe be $\lambda F$? | |
| May 21, 2012 at 17:44 | comment | added | David White | A while back I read something like this for the proof that "every diagram commutes" in a monoidal category, i.e. a way to soup up the proof so it's less down-to-earth and more high-browed. It may have been on nCat. I'm super busy this week, but I'll try to look up the reference later if no one else posts an answer before say Thursday. | |
| May 21, 2012 at 17:16 | comment | added | Mike Shulman | It's page 234 in the second edition. | |
| May 21, 2012 at 14:22 | history | asked | David Carchedi | CC BY-SA 3.0 |