Mercurial > hg > Members > kono > Proof > category
graph
-
trying..Sun, 11 Aug 2013 15:52:09 +0900, by Shinji KONO
-
remove Kleisli recordThu, 08 Aug 2013 22:05:41 +0900, by Shinji KONO
-
monoid monadSat, 03 Aug 2013 10:12:00 +0900, by Shinji KONO
-
Comparison Functor all done.Fri, 02 Aug 2013 17:01:14 +0900, by Shinji KONO
-
Comparison Functor for Eilenberg-Moore Category is constructed.Fri, 02 Aug 2013 10:06:15 +0900, by Shinji KONO
-
AlgebraFri, 02 Aug 2013 09:59:38 +0900, by Shinji KONO
-
on going (horizontal composition)Fri, 02 Aug 2013 09:52:59 +0900, by Shinji KONO
-
on goingFri, 02 Aug 2013 08:50:22 +0900, by Shinji KONO