F:C→DとG:D→C が随伴関手対で、Fが左随伴、Gが右随伴のとき、僕はこの事を次のように書いています（「圏論の随伴をちゃんと抑えよう // 随伴系の書き方と事例」参照）。 F -| G:D→C 逆ターンスタイル記号'-|'を使うのは一般的です。しかし、その後に書く圏と…