Catlab.jl
Julia 言語で応用圏論を扱うためのライブラリ。AlgebraicJulia の中心のパッケージで、ACSet、関手的データ移行、配線図による合成などを提供する。
- 概念URI
https://comcomponent.com/knowledge/catlab-jl/- 別名・表記
- Catlab
- 最終確認日
- 2026-08-01
- 機械可読データ
- JSON-LD
この概念が関わる関係
- Catlab.jlはacset(attributed C-set)の実装を担います。Catlab.jlでは、スキーマを@presentで書き、@acset_typeで作った型にデータを入れる。記事では受注・顧客・商品のスキーマのデータを入れ、外部キーと列を続けて辿る経路(射の合成)で受注ごとの金額を出し、incidentで外部キーを逆に辿った / 確度: 確立した関係 / 確認日: 2026-11-12 出典 出典
- Catlab.jlは関手的データ移行(functorial data migration)の実装を担います。Catlab.jlのDeltaMigrationとSigmaMigrationFunctorで、旧スキーマから新スキーマへの関手からデータを移した。Δは新しいデータを旧スキーマで読み(新スキーマにしかない地域は落ちる)、Σは旧データを新スキーマへ移す(地域は顧客ごとに作られ、名前は属性の変数になる)。属性を持つ表のΣは、Catlab 0.17のテストと移行ガイドにあるとおり、移す先の圏としてVarACSetの圏をキーワード引数catで渡す必要がある。渡さない既定の呼び方はMethodErrorになる / 確度: 確立した関係 / 確認日: 2026-11-12 出典 出典 出典
- Catlab.jlは構造化コスパン(structured cospan)の実装を担います。Catlab.jlでは、外とつなぐ頂点を持つ開いたグラフを構造化コスパンとして扱い、@relationで書いた無向配線図にoapplyで当てはめてつなぐ。記事では受注部門と物流部門の業務の流れを「出荷待ち」でつないで1つの流れにし、つなぐ点の名前が合わない部品はエラーになることを確かめた / 確度: 確立した関係 / 確認日: 2026-11-12 出典 出典
- Catlab.jlはJulia(プログラミング言語)を利用します。Catlab.jlはJulia言語で応用圏論を扱うためのライブラリで、記事の例はJulia 1.11.7とCatlab 0.17.6で動かした / 確度: 確立した関係 / 確認日: 2026-11-12 出典
この概念を扱う記事
一次資料
このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。