adjoint functor

relationship that two functors may have

en-US/əˈd͡ʒɔɪnt ˈfʌŋktɚ/

Катэгорыі:

ordered pairfunctor