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