Timeline for Adjunctions: algebras of the induced monad VS. coalgebras of the induced comonad
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 31 at 11:39 | history | edited | Todd Trimble | CC BY-SA 4.0 |
corrected the penultimate paragraph
|
| Sep 3, 2010 at 11:10 | comment | added | Todd Trimble | Oh duh. That's what I should have said there. Thanks, Mike. | |
| Sep 3, 2010 at 7:08 | comment | added | Mike Shulman | A slightly more general situation under which Coalg(FU) and Alg(UF) are equivalent is when the adjunction is idempotent: ncatlab.org/nlab/show/idempotent%20adjunction. This is always the case whenever C and D are posets, although U or F need not be fully faithful in such a case. | |
| Aug 27, 2010 at 13:56 | vote | accept | Gerrit Begher | ||
| Aug 26, 2010 at 17:41 | history | edited | Todd Trimble | CC BY-SA 2.5 |
added 875 characters in body
|
| Aug 26, 2010 at 15:59 | history | answered | Todd Trimble | CC BY-SA 2.5 |