院試のコンピュータサイエンスや数学基礎論の問題の解答案（解答例？）です．

ガロア接続とは圏論的には単なるPosetの随伴の事なのですが、数学のいろいろなところで現れます。また随伴に親しむのにいい例にもなっています。下のpdfは1年ほど前に発表する機会を頂いた時のスライドです。（ほんとうは記事の形にして載せた方がいいと思う…

ガロア祭での答案の公開記事

概要 逆関数定理の証明からあまり日本語の文献では見ない（私の勉強不足も大いにあるが）階数一定定理までをまとめました． 一部を除いて大学一年次に学ぶ微分積分の知識のみを前提とします． おしまい