>>834
感覚的には数学の各分野同士の関係性だけでなく、数学と数学では表せない世界（ハードウェア？）との関係を数学してる感じがありますね。

じゃあ、圏論は普通の数学じゃないのか？と言われれば、普通の数学です。
モナドなどの一部の概念が、ハードウェアとのやり取りを表現するの「にも」使えるに過ぎません。
（個人的にはソフトウェアであるところの数学が、ハードウェアを認識した瞬間だと思って震えましたが）