Factorization of colimits through slices?
Factorization of colimits through slices?
I could swear I remember a result of the following form:
Suppose we have a pair of functors $$CxrightarrowFDxrightarrowG X,$$ with $X$ cocomplete.
then we obtain a functor $$Dto X$$ sending $$dmapsto operatornamecolim_(Fdownarrow d)(Gcirc pi_d)$$ where $pi_d:(Fdownarrow d)to D$ is the projection functor sending $(F(c)to d) mapsto F(c)$.
Then there is a canonical isomorphism $$operatornamecolim_Dleft (operatornamecolim_(Fdownarrow d)(Gcirc pi_d)right) cong operatornamecolim_C (Gcirc F).$$
Is this true? Do you know of a source? Is there a name for this kind of result?
$begingroup$
Probably it should be noted, that $textcolim_(Fdownarrow d)(Gcircpi_d)$ is a pointwise left Kan extension of $Gcirc F$ along $F$.
$endgroup$
– Oskar
Sep 17 '18 at 1:31
$begingroup$
@Oskar Doesn't that prove the statement then, since $operatornamecolim(operatornameLan_F Gcirc F)=operatornameLan_t_Dleft(operatornameLan_F Gcirc F right)=operatornameLan_t_D circ F Gcirc F =operatornameLan_t_CGcirc F=operatornamecolim Gcirc F$ since the terminal functor $t_C=t_Dcirc F$?
$endgroup$
– Harry Gindi
Sep 17 '18 at 2:00
$begingroup$
@HarryGingi Yes, seems that it proves this result.
$endgroup$
– Oskar
Sep 17 '18 at 2:23
$begingroup$
I added an answer, it is a summary of the comments.
$endgroup$
– Oskar
Sep 17 '18 at 4:07
1 Answer
1
The functor $textcolim_(Fdownarrow -)(Gcircpi_-)colon Dto X$ is a left Kan extension of $Gcirc F$ along $F$. The corresponding natural transformation $ell_F^Gcirc Fcolon Gcirc Fto textcolim_(Fdownarrow -)(Gcircpi_-)circ F$ is defined by
$$
ell_F^Gcirc F(c)=varphi^F(c)(id_F(c)),
$$
where $varphi^F(c)$ is a colimiting cocone of $Gcircpi_F(c)$. Verification of the universality is long but straightforward.
Then it remains to note that for any functors $T$ and $S$ there exists an isomorphism
$$
varinjlimtextLan_TScongvarinjlim S.
$$
Seems that your statement is just one of the great amount of interesting properties of Kan extensions, so I doubt that it has a name. Some basic properties of pointwise Kan extensions are described in the first volume of Borceux's handbook.
$begingroup$
This is in fact a result about compatibility of different weights in weighted colimits, valid more generally in enriched/formal category theory. See for example Riehl's Categorical Homotopy Theory, Lemma 8.1.4.
$endgroup$
– Fosco Loregian
Sep 17 '18 at 20:40
Thanks for contributing an answer to MathOverflow!
But avoid …
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Required, but never shown
Required, but never shown
By clicking "Post Your Answer", you agree to our terms of service, privacy policy and cookie policy
$begingroup$
The closest thing I can find to this is HTT 4.2.3, which considers a more general situation but can ostensibly be used in this situation. I'm looking for a more classical reference, since this seems like it should be an older result.
$endgroup$
– Harry Gindi
Sep 17 '18 at 1:20