圏論に元を取り戻そう

Mathlogに記事を書きました。

mathlog.info

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