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