872コメント231KB

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

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

0849１３２人目の素数さん

2009/08/15(土) 21:22:03

いやトポスのほうじゃなくて
集合論のほうの排中律

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