Timeline for Cannot understand the functor from Set to List
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 22, 2016 at 11:05 | comment | added | Todd Trimble | Andreas, that's right. | |
| Aug 22, 2016 at 4:08 | comment | added | Schitti | I understand it now. The book (inf.pucrs.br/~alfio/TReports/catti.pdf, page 99) defined a category of lists with list concatenation as the "arrow" and empty list as the identity. | |
| Aug 22, 2016 at 3:46 | vote | accept | Schitti | ||
| Aug 22, 2016 at 3:29 | comment | added | Andreas Blass | @ToddTrimble That would be the category of free monoids (and monoid homomorphisms), right? That would certainly work for the present purpose. Then the functor that I called $L$ is the "free monoid" functor (from Set to that Kleisli category) followed by the forgetful functor back to Set. | |
| Aug 22, 2016 at 3:23 | comment | added | Todd Trimble | Might List be the Kleisli category for the adjunction whose right adjoint is the forgetful functor from monoids to sets? | |
| Aug 22, 2016 at 2:56 | history | answered | Andreas Blass | CC BY-SA 3.0 |