2006-10-28 "Abstraction and Application in Adjunction" (Kosta Dosen) logic 論文 pdfファイルはここ。"Models of Deduction"の前半部分で省略した計算(Heritage functorがright adjointを持つとか)が書いてあるが、それ以外は特になし。前論文の復習にはいいかも。