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