2013-11-18から1日間の記事一覧
前回までで圏の例を説明したので、今度は関手(functor)の説明に入る。 Definition 4.1.2.1. $C$と$C'$を圏とする。$C$から$C'$への関手(functor)は、$F:C \to C' $と書き、次のA,B,の成分を持ち、1,2,の法則が成り立つものとする。 A. オブジェクトの関数 $ …
前回までで圏の例を説明したので、今度は関手(functor)の説明に入る。 Definition 4.1.2.1. $C$と$C'$を圏とする。$C$から$C'$への関手(functor)は、$F:C \to C' $と書き、次のA,B,の成分を持ち、1,2,の法則が成り立つものとする。 A. オブジェクトの関数 $ …