関手とはなんですか?

ページ名:関手とはなんですか?

A. 関手は、圏論における基本的な概念で、ある圏から別の圏への構造と両立する対応付けを定義します。具体的には、関手は、ある関数が圏の任意の2つの対象に対して適用可能であり、その結果が圏の2つの対象として表現されるようなものです。関手は、圏論において重要な役割を果たし、圏論の様々な概念(例:モノイド、群、オートマトン、トポス)を定義するために使用されます。

参考URL:https://ja.wikipedia.org/wiki/%E9%96%A2%E6%89%8B


シェアボタン: このページをSNSに投稿するのに便利です。

コメント

返信元返信をやめる

※ 悪質なユーザーの書き込みは制限します。

最新を表示する

NG表示方式

NGID一覧