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

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

🇱⊣🇷

#adjoint functors #category theory #left adjoint #right adjoint #hom-set #natural isomorphism #adjunction #universal property