1001コメント521KB

分からない問題はここに書いてね369

■ このスレッドは過去ログ倉庫に格納されています

0515１３２人目の素数さん

2012/05/19(土) 11:00:08.46

圏論について
圏Ｃ1 から圏Ｃ2へのfunctorの定義をする時に
Ｃ1＝(Ａ1、Ｏ1)
Ｃ2＝(Ａ2、Ｏ2)
と書いてあったのですが、Ａ1Ａ2Ｏ1Ｏ2は普通何をさすのですか？

■ このスレッドは過去ログ倉庫に格納されています