Timeline for A slicker proof that an object must be initial
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 22, 2012 at 1:34 | comment | added | David Carchedi | (If it matters at all, $i$ is fully faithful) | |
| May 22, 2012 at 1:34 | comment | added | David Carchedi | To be more specific, first of all, I really want the dual statement for final objects, but I asked it the way I did because of what I found in Maclane. Anyhow, in my situation, I have a functor $i:C \to D$ into a cocomplete (infinity) category $D$ with $C$ small, and I know that the left Kan extension of $i$ along itself is the identify functor. I want to show that the colimit of $i$ is terminal. I have a proof using global Kan extensions, but it's flawed (I think) since there's no reason the identity functor should admit these for large diagram categories. | |
| May 22, 2012 at 1:30 | comment | added | David Carchedi | Thanks for the answer Anton. Could you help me see how this the same as what I asked? You never talk about cones, nor any functor playing the role of $F$ in my question. | |
| May 21, 2012 at 23:18 | history | answered | Anton Fetisov | CC BY-SA 3.0 |