Universal arrow from $c$ to a functor $S: D \to C$ if and only if $D(r,d) \simeq C(c, Sd)$ is natural in $d$. Get link Facebook X Pinterest Email Other Apps February 22, 2021 Read more