Timeline for Does this concept have a name, and what are some of its applications?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 30, 2010 at 10:24 | comment | added | Peter LeFanu Lumsdaine | By the way, I realise I was misusing terminology here. The (co-)reflection is used for the left (resp. right) adjoint to the inclusion C ↪ D. The resulting functor from C to itself is then an idempotent monad, i.e. a monad whose multiplication μ: F → F^2 is an isomorphism. | |
| Jun 29, 2010 at 10:04 | history | answered | Peter LeFanu Lumsdaine | CC BY-SA 2.5 |