A. 関手は、圏論における基本的な概念で、ある圏から別の圏への構造と両立する対応付けを定義します。具体的には、関手は、ある関数が圏の任意の2つの対象に対して適用可能であり、その結果が圏の2つの対象として表現されるようなものです。関手は、圏論において重要な役割を果たし、圏論の様々な概念(例:モノイド、群、オートマトン、トポス)を定義するために使用されます。
参考URL:https://ja.wikipedia.org/wiki/%E9%96%A2%E6%89%8B
A. 関手は、圏論における基本的な概念で、ある圏から別の圏への構造と両立する対応付けを定義します。具体的には、関手は、ある関数が圏の任意の2つの対象に対して適用可能であり、その結果が圏の2つの対象として表現されるようなものです。関手は、圏論において重要な役割を果たし、圏論の様々な概念(例:モノイド、群、オートマトン、トポス)を定義するために使用されます。
参考URL:https://ja.wikipedia.org/wiki/%E9%96%A2%E6%89%8B
シェアボタン: このページをSNSに投稿するのに便利です。
コメント
最新を表示する
NG表示方式
NGID一覧