💍⚙️↔🧺∞;FG≅id

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

🇱⊣🇷

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