ガロア圏解説PDF (およびリターンには冊子) のために比較的わかりやすい作業をしたので、執筆・教材作成の進捗報告です。綺麗な整理整頓されたノートですね。カリー・ハワード対応の解説の肝要な部分をいったん〆て、古典的ガロア理論をガロア圏...

Nagueさんよりステッカーデザインの最新画像をいただきましたので、ぼかして公開します。ところでヘッダーにも使われているこの女の子に名前をつけてあげたいです。