acset(attributed C-set)

スキーマとなる圏から集合への関手(C-set)に、型の決まったデータの属性を加えたデータ構造。グラフとデータフレームの両方を一般化する。

概念URI

https://comcomponent.com/knowledge/acset/

別名・表記

ACSet / attributed C-set

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Catlab.jlはacset(attributed C-set)の実装を担います。Catlab.jlでは、スキーマを@presentで書き、@acset_typeで作った型にデータを入れる。記事では受注・顧客・商品のスキーマのデータを入れ、外部キーと列を続けて辿る経路(射の合成)で受注ごとの金額を出し、incidentで外部キーを逆に辿った / 確度: 確立した関係 / 確認日: 2026-11-12 出典 出典

この概念を扱う記事

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

一次資料

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

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