unit of adjunction injective