872コメント231KB

圏論 / カテゴリー論 / Category Theory 3

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

0716１３２人目の素数さん

2008/04/13(日) 03:40:11

>>715
そういや普通に圏をmorphismだけで定義出来たんだっけ
それではobjectもmorphismも無いのを考えたらそりゃ何も無いって事にしかならないわね…

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