left-adjoint functor

Мат. сопряженный слева функтор