Timeline for "Distributivity" of unary operations
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| May 1, 2010 at 18:58 | history | edited | Qiaochu Yuan | CC BY-SA 2.5 |
added 260 characters in body
|
| May 1, 2010 at 18:46 | comment | added | user2734 | ... I meant $G:C\to \mathbf{Set}$ | |
| May 1, 2010 at 18:43 | comment | added | user2734 | @Qiaochu Yuan: Thanks for making it an answer! One connection between representable functors and adjoint functors is that if a functor $G$ has a left adjoint then it is surely representable: Saying that a functor $G$ is representable is like saying that there is a universal arrow from a one-object set $1$ to $G$ (Prop. 3.2.2, p. 60 in Mac Lane), and for this we can take the unit $\eta_1\colon 1\to G(F1)$ (with $F$ the left adjoint of $G$). For a condition for the opposite direction, see Ex. 1, p. 131 of Mac Lane. | |
| May 1, 2010 at 18:39 | history | edited | Qiaochu Yuan | CC BY-SA 2.5 |
added 448 characters in body
|
| May 1, 2010 at 18:28 | history | answered | Qiaochu Yuan | CC BY-SA 2.5 |