http://www.math.jhu.edu/~eriehl/weighted.pdf
bimoduleのhomと\otimesの間のadjunctionについて。これはV-functorとしてのadjunctionを与えている。
まずはV-adjunctionについてみてみる。
http://www.tac.mta.ca/tac/reprints/articles/10/tr10.pdf
二つのV-functor T:A \to B とS:B \to Aの間のadjunctionとは
\eta:1 \to TS, \epsilon:ST \to 1でT\epsilon.\eta T = 1及び\epsilon S. S\etaをみたすもののこと。
\etaと\epsilonはV-natural transformでその元を取っていると思っている?
\etaがあれば\eta T: T \to TSTやS\eta:S \to STSが定まる。
\epsilonについても同様にT\epsilon:TST \to Tや\epsilon S:STS \to Sが定まる。
これによりT\epsilon.\eta T:T \to Tや\epsilon S.S\eta:S \to Sが定まる。
これが1と一致するという主張?