はじめに #トポス理論(Topos Theory) について勉強しながら書いたノート。 Olivia Caramello先生の講義スライド をなぞりながら勉強したので、以下のノートもOlivia先生の講義の構成と同じになっている。講義ノートでは省略されている証明等も併せかなり加筆している。青字は私が付けたメタなコメントである。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く