#category embedding #exact functor #module category #left adjoint #representation functor g #generator