adjoint functor theorem

GPTKB entity