Timeline for Comonads from monoids
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 14, 2014 at 14:17 | answer | added | Dimitri Chikhladze | timeline score: 3 | |
| Jul 12, 2014 at 15:43 | vote | accept | Gejza Jenča | ||
| Jul 12, 2014 at 15:24 | answer | added | Todd Trimble | timeline score: 8 | |
| Jul 12, 2014 at 15:00 | comment | added | Zhen Lin | We can regard $\mathcal{C}^\mathrm{op}$ as a $\mathcal{C}$-enriched category with tensors (or category with a left $\mathcal{C}$-action); then this is a special case of the monad associated with a monoid. (A monad on $\mathcal{C}^\mathrm{op}$ is the same thing as a comonad on $\mathcal{C}$.) | |
| Jul 12, 2014 at 13:39 | history | asked | Gejza Jenča | CC BY-SA 3.0 |