>>207
>極論を云えば、
>群論・環論・位相空間論・層理論・圏論
>というのは数学における一種の修辞学である

それに賛同する数学徒は、いないだろうねｗ
どちらかと言えば、
・プログラミング言語
・もっと言えば、数学的対象を扱う数理言語そのもの
（グラフィックを含む）

そう捉えた方が良いだろう
定義を作って、小さなプログラムとかサブルーチンや、関数プログラム
それらを組み合わせて、定理（大きなプログラム）ができる