Timeline for Is there a canonical 'composition' of Free Functors?
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 22, 2010 at 21:38 | comment | added | Shamim | Thanks again, this is what I was looking for but didn't have the mathematical language to pose the question correctly. | |
| Dec 16, 2010 at 16:18 | history | edited | Todd Trimble | CC BY-SA 2.5 |
added 1470 characters in body; added 4 characters in body
|
| Dec 16, 2010 at 10:32 | vote | accept | Shamim | ||
| Dec 16, 2010 at 10:32 | comment | added | Shamim | Thanks for the counterexample. Yes, I would be interested in learning more. Nlab states that a Lawvere theory is equivalent to a finatary monad, is the construction of the coproduct more natural in a Lawvere theory than a monad? | |
| Dec 15, 2010 at 15:19 | history | edited | Todd Trimble | CC BY-SA 2.5 |
added 609 characters in body
|
| Dec 15, 2010 at 13:51 | history | answered | Todd Trimble | CC BY-SA 2.5 |