Mercurial > hg > Members > kono > Proof > category
graph
-
isomorphic problem writtenFri, 30 Aug 2013 16:49:28 +0900, by Shinji KONO
-
F(a) → Nat(h_a,F) doneFri, 30 Aug 2013 16:34:48 +0900, by Shinji KONO
-
nat continue...Fri, 30 Aug 2013 15:28:57 +0900, by Shinji KONO
-
one to one natThu, 29 Aug 2013 16:07:45 +0900, by Shinji KONO
-
fixThu, 29 Aug 2013 12:47:28 +0900, by Shinji KONO
-
Yoneda Functor ConstructedThu, 29 Aug 2013 10:14:59 +0900, by Shinji KONO
-
hintThu, 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 joinWed, 28 Aug 2013 21:51:59 +0900, by Shinji KONO
-
oerationWed, 28 Aug 2013 18:28:23 +0900, by Shinji KONO
-
Contravariant functor doneWed, 28 Aug 2013 17:29:01 +0900, by Shinji KONO
-
contravariant continue ...Wed, 28 Aug 2013 17:00:49 +0900, by Shinji KONO
-
contravariant functorWed, 28 Aug 2013 13:26:01 +0900, by Shinji KONO
-
no yellow on co-Contravariant FunctorWed, 28 Aug 2013 11:41:17 +0900, by Shinji KONO
-
fixWed, 28 Aug 2013 10:20:04 +0900, by Shinji KONO
-
Yoneda FunctorTue, 27 Aug 2013 23:35:05 +0900, by Shinji KONO