adjoint functor

relationship that two functors may have

ক্যাটাগরি: