2016-05-01から1ヶ月間の記事一覧

Awodey『圏論』第8章（8.7節から）

圏論

結構早い時期に途中まで記事を書いて放置して、もうとっくにGWも終わってしまった。ゆるゆるにもほどがあるが、いつもはこんなペースである。 さて、ついにトポスの登場である。といってもちょろっと紹介されているだけではある。参考文献にトポスのバイブル…