Final functor
= Final functor
{wiki=Final_functor}
A functor $F:\mathcal C\to\mathcal D$ is final when every comma category $(B\downarrow F)$ is nonempty and connected. Colimits are unchanged after restriction along a final functor.
= Final functor
{wiki=Final_functor}
A functor $F:\mathcal C\to\mathcal D$ is final when every comma category $(B\downarrow F)$ is nonempty and connected. Colimits are unchanged after restriction along a final functor.