構造化コスパン(structured cospan)

外とつなぐ接点を持つ開いたシステムを表し、接点どうしをつないで大きなシステムを組み立てるための圏論の構成。

概念URI

https://comcomponent.com/knowledge/structured-cospan/

別名・表記

structured cospan

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Catlab.jlは構造化コスパン(structured cospan)の実装を担います。Catlab.jlでは、外とつなぐ頂点を持つ開いたグラフを構造化コスパンとして扱い、@relationで書いた無向配線図にoapplyで当てはめてつなぐ。記事では受注部門と物流部門の業務の流れを「出荷待ち」でつないで1つの流れにし、つなぐ点の名前が合わない部品はエラーになることを確かめた / 確度: 確立した関係 / 確認日: 2026-11-12 出典 出典

この概念を扱う記事

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

一次資料

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

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