トップページ⇒math

1002コメント355KB

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

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

0563１３２人目の素数さん

2014/04/11(金) 10:24:11.13

>>562
>操作を明確にすることで形式化し，形式化することで
>色々な構造の関係を見やすくする
そうなってる具体例があるかい？

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