随伴の書き方

CとDが圏で、2つの関手 F:C→D, G:D→C が随伴対であることを次のように、

• Title: COMPLETION, CLOSURE, AND DENSITY RELATIVE TO A MONAD, WITH EXAMPLES IN FUNCTIONAL ANALYSIS AND SHEAF THEORY
• Author: RORY B. B. LUCYSHYN-WRIGHT
• Pages: 33p
• URL: http://www.tac.mta.ca/tac/volumes/29/31/29-31.pdf

方向、

• Title: KAN EXTENSIONS AND NONSENSICAL GENERALIZATIONS
• Author: ADAM ANDERSON
• Pages: 7p
• URL: http://www.math.uchicago.edu/~may/VIGRE/VIGRE2007/REUPapers/FINALAPP/Anderson.pdf