圏のなす弱2圏を ，小圏のなす弱2圏を と書く． の部分2圏 を，ある条件（有限順序集合の圏を含む，コンマ圏や opposite をとる操作に関して閉じている，など）をみたすものとする． 強2関手 を prederivator という． の射 に対応する の射 が左随伴，右随…