トポスの有限余完備性をやっと示した

トポスの有限余完備性の証明をやっと追ったのでまとめました。

以前にブログでもあげたモナドの知識を使っています。モナドパートは紹介程度に載せているので一応これだけでも読めますが、ちゃんと追うならモナドのpdfと合わせて読んだほうがよさそうです。

このあとはとりあえずこのpdfに合わせてモナドのpdfの方を加筆修正するつもりですがそのあとは何しようかな