Mathlogに記事を書きました。 mathlog.info 圏論は集合論から元を廃した考え方、という言説がありますが、それに抗ってみると興味深い事実が分かってきます。圏論を理解する上で重要かつ平易な発想なので、是非読んで頂きたいです。コメントも是非。

twitterが改悪されました（定期） ログインせずに閲覧したい人は多いと思いますが、それができなくなりました。正確には余計なレイヤーが表示されるようになり、毎回×印を押す必要が生じるようになりました。最も致命的なのは、検索が不可能になりました。最…