関手(functor)

ある圏の対象と射を、恒等射と射の合成を保ったまま別の圏の対象と射へ対応させるもの。スキーマを圏とみなすと、スキーマどうしの対応に当たる。

概念URI

https://comcomponent.com/knowledge/functor/

別名・表記

functor

上位概念

圏論(category theory)

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• 関手的データ移行(functorial data migration)は関手(functor)を利用します。スキーマを小さな圏、データを集合に値をとる関手とみなすと、スキーマの間の関手からデータの移し方(Δ、Σ、Π)が決まる / 確度: 確立した関係 / 確認日: 2026-11-12 出典

この概念を扱う記事

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

一次資料

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

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