Timeline for Generalizing indexed coproduct from $\mathrm{Set}$ to other monoidal categories
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 29, 2014 at 23:52 | comment | added | Brent Yorgey | Thanks! This isn't the first time the issue of constructive finiteness has come up for me, but I hadn't quite yet made the connection. Indeed, I have been using cardinal-finiteness, so this fits perfectly. | |
| Apr 29, 2014 at 23:47 | vote | accept | Brent Yorgey | ||
| Apr 29, 2014 at 21:55 | history | answered | Peter LeFanu Lumsdaine | CC BY-SA 3.0 |