【 参考 】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 など、有償/無償の数多くの数式処理ソフトウェア & ツール の機能を取り込んで、1本化している カバーする数学領域は、たとえば以下(Wikipediaより) 計算機代数 代数幾何学 多倍長計算 数論幾何学 数式処理 組み合わせ 線形代数 グ