トポスtoposのスレ
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
2007/03/30(金) 11:15:340002132人目の素数さん
2007/03/30(金) 11:19:310003訂正
2007/03/30(金) 11:26:350004132人目の素数さん
2007/03/30(金) 11:50:420005132人目の素数さん
2007/03/30(金) 11:57:53今井数学
0006132人目の素数さん
2007/03/30(金) 12:07:220007132人目の素数さん
2007/03/31(土) 09:13:020008132人目の素数さん
2007/03/31(土) 09:28:341、すべての有限極限を持つ
2、部分対象分類子を持つ
3、カルテシアン閉
という条件を満たすとき、Eをトポスという。
例、Set
0009132人目の素数さん
2007/04/01(日) 21:33:53■ このスレッドは過去ログ倉庫に格納されています