この記事の証明は難しいとしても、ベキ集合の存在ぐらいは知っておいたほうがいいかなとやり始めたら全然できないのでガックリきました。 仕方ないので色々調べまわってやっと見つけました。先の記事にもあった、TOPOSES, TRIPLES AND THEORIES (Barr, Wells…

層・圏・トポス読書会も読了をもって先日めでたく終了したわけですが、その最後を飾る定理「トポスは finite colimit を持つ」*1の純圏論的証明に興味を持ったので調べてみました。その証明は「層・圏・トポス」にもあるように*2、初等的とは言いがたいです…