随伴関手ずいはんかんしゅzuihankanshunounadjoint functorsKanji in this word伴consort手hand関connection随followStudy it in Yanamino