Is an adjunction of monoids just an isomorphism between them?