adjoint functor

relationship that two functors may have

دسته بندی ها: