CatColab

Topos Institute とその協力者が作っている、形式的で相互運用できる概念的なモデリングのための、ブラウザの共同作業環境。Olog、データベースのスキーマ、ペトリネット、因果ループ図、ストック・フロー図などのロジックを持つ。

概念URI

https://comcomponent.com/knowledge/catcolab/

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Topos InstituteはCatColabの実装を担います。CatColabはTopos Instituteとその協力者が作っている、ブラウザでモデルを作り共同で編集するためのツール。AlgebraicJuliaのライブラリは圏論の背景知識がかなりないと使えないという反省から、近づきやすいツールを自分たちで作ることにして始まった / 確度: 確立した関係 / 確認日: 2026-11-12 出典 出典

この概念を扱う記事

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

一次資料

• https://catcolab.org/help

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