generated at
2/21/2025, 8:12:23 PM
随伴関手
随伴
F\dashv U
の、
F,U
それぞれのことを随伴関手と呼ぶ
随伴関係になる
関手
のこと