Information date version memo 2012/10/18 0.1 first 2012/10/22 0.2 概要 強制法の勉強用まとめ 現状まとめが適当なので、その内ちゃんとしたい。 目次 強制法 前順序 半順序 全順序 稠密 強制法 強制法資料(PDF) http://www.google.co.jp/url?sa=t&rct=j&…

Information version date memo 0.1 2012/08/12 first メモ メタグラフ(metagraph) 対象(object) 射(arrow) 射上の演算(dom, cod) 射fについて、 dom(f)をfのソース cod(f)をfのターゲット と言う。

Information version date memo 1.0 2012/08/12 first 概要 圏論関連の記事等のまとめ リンク 数学的側面からの導入 圏論の雰囲気が簡単に書かれている。群、位相等の知識があれば何となく分かると思われる。 http://alg-d.com/other/category.html 圏論の初…