「単項式関手のあいだのホムセット」より：これは、ある種のレンズ（レンズの変種は山ほどある）の圏と単項式の圏のあいだの関係を示している。単項式の圏とは、対象を単項式だけに絞った多項式の圏の部分圏。アルファベット順がおかしくなるが、行きがかり…

ダイアグラム・チェイシング（図式に沿った要素の追跡）の代わりに、集合のあいだの同型を使う。記法を簡単にするために、 のホムセットをブラケットで 、集合圏の内部ホム〈指数 | 関数集合 | アロー型〉をベキ〈累乗〉形式 で書く。まず、集合圏の指数法則…