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