adjunction map

  1. redirect adjoint functors