「テンパリー／リーブ圏とカウフマンのスケイン関係式」において、「たぶん成立するだろう」みたいなことを幾つか書いています。そのひとつに次の随伴性があります。 k-LinCat(Link(C), D) Cat(C, U(D)) ここで、k-LinCatはk-線形圏の圏です。Link(-)は単な…