Timeline for Reference for factorization of left adjoints?
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 23, 2011 at 2:01 | vote | accept | Yemon Choi | ||
| Jan 23, 2011 at 2:01 | comment | added | Yemon Choi | I forgot to accept an answer. Well, I would really like to accept both, but since I can only accept one I'm going to accept Steve Lack's for the link to Power's paper (it's not entirely clear to me that the examples I was considering are of the form that Todd Trimble's answer discusses) | |
| Jan 6, 2011 at 1:34 | answer | added | Steve Lack | timeline score: 6 | |
| Jan 5, 2011 at 7:06 | history | edited | Yemon Choi | CC BY-SA 2.5 |
updated
|
| Jan 5, 2011 at 6:43 | answer | added | Todd Trimble | timeline score: 5 | |
| Jan 5, 2011 at 3:33 | comment | added | Theo Johnson-Freyd | In a paper currently in progress, we consider something similar in a step in a larger proof, but we have more to work with. Our category $\mathcal B$ is something like "sheaves" and $\mathcal A$ something like "presheaves", and $G$ something like "$\text{Forget}$", so that its left adjoint "$\text{Sheafify}$" satisfies $\text{Sheafify}\circ\text{Forget}=\text{id}$. (It suffices for $G$ to be full to have its adjoint be a one-sided inverse.) In this case, $H$ has a left adjoint, given by $(\text{adjoint to }GH)\circ G$. Anyway, you weren't reading our paper, as it's not finished yet. | |
| Jan 4, 2011 at 23:12 | history | asked | Yemon Choi | CC BY-SA 2.5 |