added applicability of adjunction to quotient-eq adjunction in long version