\xymatrix { \catC \ar[rr]^F \ar[rd]_K & \ar@{=>}[d]_-{\; η} & \catD &&& \catC \ar[rr]^F \ar[rd]_K & \ar@{=>}[d]_-{\; γ} & \catD & = & \catC \ar[rr]^F \ar@/_/[rd]_K & \ar@/_1pc/@{=>}[d]_-{\; η} & \catD \\ & \wC \ar[ru]_{\Lan K F} & &&& & \wC \ar[ru]_G & & & & \wC \ar@/^1pc/[ru]|{\scriptscriptstyle \Lan K F}="a'" \ar@/_1pc/[ru]_G="b'" \ar@{}"a'";"b'"^(.15){}="a"^(.85){}="b" \ar@2{->}"a";"b"_-{α} & }