トップページ⇒math

1001コメント500KB

圏論好き集まれ

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

0225１３２人目の素数さん

2012/01/13(金) 09:23:19.45

アホな質問だが、証明論的とモデル論的って分け方でいくと、圏論ってやっぱり
モデル論的のほうだよね？

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