アリーナ周り - (新) 檜山正幸のキマイラ飼育記 メモ編 も参照。
以下はほぼ同義語：
- バンドル
- ファミリー
- コンテナ
- ファイバー付き集合
- 順序なしの低木林
低木林は低木〈シュラブ〉の林だが、
- 低木＝カローラ＝単頂点ループなし半グラフ＝付点有限集合
- 林＝バッグ
- ヘッジ〈生け垣〉＝リスト
これらの修飾として：
- 色付け〈型付け〉
- 極性付け〈向き付け〉
- 全順序付け〈アンカリング〉
他に特殊な構造付与として：
- 対合
- 不動点なし対合
- サイクリック構造
- ポリサイクリック構造
コレクションの生成（リスト〈List〉、バッグ〈Bag〉、サブセット〈Sub〉）と修飾を組み合わせて、複雑な有限コレクション型が作れる。これらはモナドになる。
色付きコレクションは スキーマ＝指標 となり、対応するインスタンス概念がある。
- スキーマ vs. インスタンス
- 複合型 vs. 複合データ
- 指標 vs. モデル
- セオリー vs. 代数
- 代数 vs. 表現
