Timeline for Adjoint functor of power-set functor
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 6, 2017 at 14:32 | comment | added | Rob Myers | @ToddTrimble Right you are, seems that I somehow imagined the word 'atomic' was there. | |
| Jan 6, 2017 at 14:25 | comment | added | Todd Trimble | No, it does have a left adjoint, which is $P^{op}: Set \to Set^{op}$. | |
| Jan 6, 2017 at 14:24 | history | answered | Rob Myers | CC BY-SA 3.0 |