- グロタンディーク構成とその逆
- Diag構成
- Fam構成
- Atlas構成
- 特定形状の前層構成
- 特定形状の余前層構成
- 関手意味論
- モデル構成（指標とターゲットからモデル圏を構成する）
- アイレンベルク／ムーア構成
- クライスリ構成
- ランベック構成（自己関手から代数の圏を作る）
- 随伴-モナド・構成
- 随伴-コモナド・構成
- Para構成
- オプティック構成
- スライス構成（スライス圏、デカラージ、ファイブレーション）とコスライス構成
- スパン構成、コスパン構成
- クインテット構成、反クインテット構成
- プロ円板構成（二重権から2-圏を取り出す）
- Core構成（圏から亜群を取り出す）
- ベック分配系から2個の演算を持つ代数の圏を作る構成
- 多項式図式〈ブリッジ図式〉から多項式関手を作る構成
考えること：
- 構成が写像になるか、関手になるか、2-関手になるか、どんな変換手になるか？ (n, k)-変換手になる構成は (n, k)-構成。写像なら (0, 0)-構成。
- 指標の段階的具体化によるインスタンス構成
- 構成のカリー化／反カリー化
- ラムダ束縛による構成抽象／変換手抽象と、内包的記法＝タウ束縛によるn-圏把握〈comprehension〉
