関手的データ移行(functorial data migration)

スキーマを小さな圏、データを集合に値をとる関手とみなし、スキーマの間の関手からデータの移し方(Δ、Σ、Π)を決める方法。

概念URI

https://comcomponent.com/knowledge/functorial-data-migration/

別名・表記

functorial data migration / Δ・Σ・Π によるデータ移行

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Catlab.jlは関手的データ移行(functorial data migration)の実装を担います。Catlab.jlのDeltaMigrationとSigmaMigrationFunctorで、旧スキーマから新スキーマへの関手からデータを移した。Δは新しいデータを旧スキーマで読み(新スキーマにしかない地域は落ちる)、Σは旧データを新スキーマへ移す(地域は顧客ごとに作られ、名前は属性の変数になる)。属性を持つ表のΣは、Catlab 0.17のテストと移行ガイドにあるとおり、移す先の圏としてVarACSetの圏をキーワード引数catで渡す必要がある。渡さない既定の呼び方はMethodErrorになる / 確度: 確立した関係 / 確認日: 2026-11-12 出典 出典 出典
• 関手的データ移行(functorial data migration)は関手(functor)を利用します。スキーマを小さな圏、データを集合に値をとる関手とみなすと、スキーマの間の関手からデータの移し方(Δ、Σ、Π)が決まる / 確度: 確立した関係 / 確認日: 2026-11-12 出典

この概念を扱う記事

• 圏論は業務システムで何に使えるか ── Topos Instituteの公開物とCatlab.jlで試すスキーマ・データ移行・モデルの合成(言及)

一次資料

• https://arxiv.org/abs/1009.1166

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。