ただいま圏論勉強中。
こんにちは、結城浩です。
ふと、圏論を勉強したくなったので『圏論の基礎』を読み始めました(2018年8月25日)。
勉強したことはハッシュタグ#今日の圏論を付けてツイートしています。
また、その結果はScrapbox「結城浩の圏論勉強プロジェクト」にもまとめています。
この「結城浩の圏論ノート」は結城自身のためのポータルページとして作ったものです。