adjunction

not defined yet