Timeline for Resources for learning practical category theory
Current License: CC BY-SA 2.5
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 22, 2021 at 16:30 | comment | added | Paul Taylor | I'm glad you like my (own) book, but Proofs and Types was more than "transcribed": I tried to turn Girard's weird French into natural English and Yves did a very good job of standardising the notation throughout. | |
| Feb 21, 2021 at 13:22 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Jan 6, 2011 at 18:14 | comment | added | Justin Hilburn | Gah! Why can't I add references to this without bumping things to the first page! | |
| Jan 6, 2011 at 18:05 | history | edited | Justin Hilburn | CC BY-SA 2.5 |
added 40 characters in body
|
| Jan 26, 2010 at 3:20 | history | edited | Justin Hilburn | CC BY-SA 2.5 |
added 186 characters in body
|
| Oct 23, 2009 at 17:06 | history | edited | Justin Hilburn | CC BY-SA 2.5 |
Added hyperlinks.
|
| Oct 23, 2009 at 14:09 | comment | added | sdcvvc | Very good references. I think you can post using hyperlinks now. | |
| Oct 23, 2009 at 5:21 | history | edited | Justin Hilburn | CC BY-SA 2.5 |
added 10 characters in body
|
| Oct 22, 2009 at 21:31 | history | answered | Justin Hilburn | CC BY-SA 2.5 |