Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Fri, 02 Aug 2013 17:01:14 +0900 | Shinji KONO | Comparison Functor all done. |
Fri, 02 Aug 2013 10:06:15 +0900 | Shinji KONO | Comparison Functor for Eilenberg-Moore Category is constructed. |
Fri, 02 Aug 2013 09:59:38 +0900 | Shinji KONO | Algebra |