12/02/02 18:32:31.58
>>423
（圏論的意味での）イデアル全体とか取っているのは、
そのトポスが集合論の世界に含まれている前提での話。
「一階述語論理と数学をつなぐ」という意味での
「基礎としての圏論」の研究とは言いがたい。
12/02/02 18:32:31.58
>>423
（圏論的意味での）イデアル全体とか取っているのは、
そのトポスが集合論の世界に含まれている前提での話。
「一階述語論理と数学をつなぐ」という意味での
「基礎としての圏論」の研究とは言いがたい。
12/02/02 18:32:31.58
>>423
（圏論的意味での）イデアル全体とか取っているのは、
そのトポスが集合論の世界に含まれている前提での話。
「一階述語論理と数学をつなぐ」という意味での
「基礎としての圏論」の研究とは言いがたい。