设C、D是范畴，F：C→D，G：D→C是共变函子，且（F，G）是一个伴随函子对．对于C中任意给定的对象C．主要研究Comma范畴G^C与F^F（C）之间的关系．......

在准严格半Abel范畴的单边导出范畴上构造一类截断函子,并以此诱导出伴随函子对....