Timeline for Why can we take the colimit over the category of elements?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 6 at 7:12 | comment | added | Giacomo | See the proof of Theorem 2.15.6 from the Handbook of categorical algebra, Volume 1, by Borceux. The result is stated for $\mathcal C$ small, but the proof also works for large ones (since he proves directly that $F$ satisfies the universal property, rather then assuming that the colimit exists and proving that the comparison map is an iso). | |
| Mar 5 at 20:50 | comment | added | themathandlanguagetutor | The part about this always being true was the part that I was missing, thanks! Do you have a nice reference for this, or would you mind saying a bit more about how to show this? | |
| Mar 5 at 20:38 | vote | accept | themathandlanguagetutor | ||
| Mar 5 at 16:12 | history | edited | Giacomo | CC BY-SA 4.0 |
added 184 characters in body
|
| Mar 5 at 12:00 | history | answered | Giacomo | CC BY-SA 4.0 |