12/01/29 08:33:10.32
上のほうで圏論と集合論（巨大基数）の関係が話題になってたけど、
圏論を他の代数構造同様に（クラスサイズっていう違いはあるが）集合論の中で実現して
っていう話だから数学の基礎としての圏論というのとはなんか違うな。
12/01/29 08:33:10.32
上のほうで圏論と集合論（巨大基数）の関係が話題になってたけど、
圏論を他の代数構造同様に（クラスサイズっていう違いはあるが）集合論の中で実現して
っていう話だから数学の基礎としての圏論というのとはなんか違うな。