はじめに #

トポス理論(Topos Theory) について勉強しながら書いたノート。 Olivia Caramello先生の講義スライド をなぞりながら勉強したので、以下のノートもOlivia先生の講義の構成と同じになっている。講義ノートでは省略されている証明等も併せかなり加筆している。青字は私が付けたメタなコメントである。