| 変形 | 元 | 先 | パラメータ |
|---|---|---|---|
| プロパティ化 | 項目 | プロパティ | 名前リスト |
| 項目化 | プロパティ | 項目 | 名前リスト |
| カリー化 | 二部レコード | 二部レコード | 域を二部に分けるフェンス |
| 反カリー化 | 二部レコード | 二部レコード | 余域を二部に分けるフェンス |
| 置換 | レコード | レコード | 対称群の要素 |
| フラット化 | レコード | レコード | ツリー形状 |
| ネスト化 | レコード | レコード | ツリー形状 |
圏の演算：
- 結合
- テンソル積
- 置換
二重圏の演算：
- 制限
- ゼロ拡張
- 引き戻し
- 押し出し
集合演算：
- 合併
- 共通部分
- 集合差〈差集合〉
レイフィケーションとコアージョン：
- 関係の対応化〈非決定性写像化〉 同型
- 対応の関係化 同型
- 対応の部分写像化 レトラクト
- 部分写像の対応化 埋め込み
- 対応の写像化 レトラクト
- 写像の対応化 埋め込み
- プロパティの関数化 埋め込み
- 関数のプロパティ化 レトラクト
その他：
- グループごとの集計やリデュース
