Members/kono/Proof/category: revision graph

graph

less more | rev 189: (0) -100 -30 -10 -7 +7 +10 +30 +100 +300 tip

fix
Thu, 29 Aug 2013 12:47:28 +0900, by Shinji KONO
Yoneda Functor Constructed
Thu, 29 Aug 2013 10:14:59 +0900, by Shinji KONO
hint
Thu, 29 Aug 2013 00:54:15 +0900, by Shinji KONO
y-nat (FMap of Yoneda Functor )
Wed, 28 Aug 2013 23:32:24 +0900, by Shinji KONO
Yoneda join
Wed, 28 Aug 2013 21:51:59 +0900, by Shinji KONO
oeration
Wed, 28 Aug 2013 18:28:23 +0900, by Shinji KONO
Contravariant functor done
Wed, 28 Aug 2013 17:29:01 +0900, by Shinji KONO

less more | rev 189: (0) -100 -30 -10 -7 +7 +10 +30 +100 +300 tip