Timeline for a “self-dual” adjunction
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 16, 2011 at 10:43 | comment | added | beroal | @Finn Lawler: Thanks, that is exactly what I was looking for. The power-object functor is a particular case of contravariant exponential functors. Contravariant exponential functors lead to the continuation monad. I will probably stick to MacLane's term. | |
| Jul 16, 2011 at 10:37 | comment | added | beroal | @Finn Lawler: $I$ is a morphism between categories, i.e. a functor. | |
| Jul 14, 2011 at 20:26 | comment | added | Finn Lawler | Yes, now that I check I see that Johnstone attributes it to Paré in Topos Theory. I must have been thinking of something else. | |
| Jul 14, 2011 at 19:27 | comment | added | Todd Trimble | I thought it was Pare who made the observation about monadicity of the power set/object functor (?). | |
| Jul 14, 2011 at 19:24 | history | answered | Finn Lawler | CC BY-SA 3.0 |