# Tag Info

### Change of coordinates for coends

Here is my attempt at a partial answer: First, a recollection about colimits along coCartesian fibrations: Let $p: X\to Y$ be a coCartesian fibration, and $f: X\to D$ a functor to a cocomplete ...
• 8,720
Accepted

### Change of coordinates for coends

$\require{AMScd}$First of all, I suspect that "$p$ has set fibers and it is surjective" means that it is a discrete fibration. In that case, $p$ corresponds to a functor $G_p : C \to Set$ (...
• 11.5k