さて、本節開始直後に なる随伴の系列が紹介されているが、実際のところV,F,Rについては本書では何も（定義すら）述べられていないようだ。いろいろ調べたところ、その答えはMac Lane本の4章2節の練習問題の中にあった。 :Setsの対象（集合）に対して、その…