🧺¹↩💍⚙️+F:💍⚙️→🧺¹

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

💍⚙️↔🧺∞;FG≅id

#adjoint functors #category theory #grothendieck category #module category #functor pair f g #equivalence condition