Let $f: x\to y$ and $f':x' \to y'$ be arrows in a category ${\bf C}$, where $x\cong x'$ and $y\cong y'$. Assume that for all isomorphisms $v: x \to x'$ and $u: y\to y'$, the corresponding diagram commutes, ie., $f'\cdot v = u \cdot f$. Is there a name for such (seemingly closely related) arrows?
Add a comment
|