Timeline for Categorical semantics of W-types
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 13, 2012 at 14:52 | vote | accept | Russell O'Connor | ||
| Feb 7, 2012 at 21:37 | comment | added | Mike Shulman | And for M-types (as terminal coalgebras) there is the dual paper "Non-well-founded trees in categories" by van den Berg and de Marchi, APAL 146 (2007) 40–59. | |
| Feb 7, 2012 at 17:00 | history | answered | Michael A Warren | CC BY-SA 3.0 |