funtor
「funtor」の発音・読み方
/funˈtoɾ/
「funtor」の意味
- 男性名詞関手
「funtor」の例文
Un funtor puede transformar objetos y morfismos entre categorías.
関手は圏の間で対象と射を写すことができる。
「funtor」のコアイメージコアイメージ
一つの圏の構造を別の圏へ写し、射の向きと組み合わせ方を保つ仕組み
「funtor」のスペイン語での定義スペイン語での定義
Correspondencia entre categorías que envía objetos a objetos y morfismos a morfismos, respetando los dominios, los codominios, las identidades y la composición.
「funtor」の語源語源
funtorは、ラテン語fungor「果たす、機能する」に由来する英語functorをもとにした数学用語
「funtor」のコラムコラム
- 圏論では「funtor covariante」と「funtor contravariante」を区別し、後者は射の向きを逆に扱う