Timeline for Solid applications of category theory in TCS?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 17, 2020 at 9:38 | history | edited | CommunityBot |
Commonmark migration
|
|
| Apr 13, 2017 at 12:57 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| S Apr 2, 2013 at 5:02 | history | suggested | tcamps | CC BY-SA 3.0 |
fixed a typo in the specification of the diagram for a pushout: you can't pushout two composable morphisms.
|
| Apr 2, 2013 at 3:12 | review | Suggested edits | |||
| S Apr 2, 2013 at 5:02 | |||||
| Sep 4, 2010 at 18:22 | history | edited | Dave Clarke | CC BY-SA 2.5 |
Included another example.
|
| Sep 4, 2010 at 11:57 | history | answered | Dave Clarke | CC BY-SA 2.5 |