トップページ⇒math

1001コメント500KB

圏論好き集まれ

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

0459１３２人目の素数さん

2012/02/04(土) 21:47:51.84

>>456
プルバック(とプッシュアウト)で作ったトポスの無数に考えられる具体例の一つが述語論理

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