圏論 / カテゴリー論 / Category Theory 3
■ このスレッドは過去ログ倉庫に格納されています
0158132人目の素数さん
2007/03/08(木) 21:08:29Obj(C)をCの対象、A(C)をAの射として
Cを次のように定義
Obj(C)={月、火、水、木、金、土、日}
A(C)={月→火、火→水、...、土→日}
函手Tを次のように定義
Tの対象 A(C)→{平日、土日}
具体的には
月→平日、火→平日、...、金→平日
土→土日、日→土日
Tの射
T(月→火)=平日→平日
T(火→水)=平日→平日
..
T(金→土)=平日→土日
T(土→日)=土日→土日
■ このスレッドは過去ログ倉庫に格納されています