「群論」や「圏論」を含む いろいろな数学領域をカバーする Python流儀の文法の フリー数式処理ソフト SAGE を使ってみた - Qiita【 参考 】Sage における 圏論（数学的構造） の 実装 木村巌 「数論研究者のための Sage (Sage for number theorists)」RIMS Kˆokyˆuroku Bessatsu B32 (2012), 125–144 説明は、追って追記します 0. SAGE （セイジ） とは ? 無償でダウンロード&インストールして使える数学演算ツール Mac, Windows, UNIX, Linux いずれの OS 上でも動く 「車輪を再発明せず、車をつくろう！」のモットーで、MATLAB や R, Maxima, NetworkX など、有償／無償の数多くの数式処理ソフトウェア ＆ ツール の機能を取り込んで、１本化している カバーする数学領域は、たとえば以下（Wikipediaより） 計算機代数 代数幾何学 多倍長計算 数論幾何学 数式処理 組み合わせ 線形代数 グ
