随伴関手
随伴
$ F\dashv U
の、
$ F,U
それぞれのことを随伴関手と呼ぶ
随伴関係になる
関手
のこと