圏の代表例として、集合の圏Setsがある。 この圏は、圏という対象としては、ZFC上で扱えない。(なぜなら、集合全体Vは真のクラスとなるからである) すなわち、「これが、集合の圏である」とZFC上で述べることは出来ない。 しかし、集合全体は集合論の言語{}…

初めましての方は初めまして。 そうでない方はこんばんは。 そのどちらでもない直感主義者は、どうぞお帰りください。 太郎です。 まずは、自己紹介を。 某大学の数学科で勝手に数学基礎論を学んでいる者です。 専門はモデル理論で、最近は圏論的なロジック…