Mercurial > hg > Members > kono > Proof > category
graph
-
on going ...Sun, 01 Sep 2013 15:21:53 +0900, by Shinji KONO
-
remove an extensionalitySun, 01 Sep 2013 13:26:30 +0900, by Shinji KONO
-
fixSat, 31 Aug 2013 12:53:35 +0900, by Shinji KONO
-
exponentialSat, 31 Aug 2013 12:41:31 +0900, by Shinji KONO
-
fixSat, 31 Aug 2013 01:57:35 +0900, by Shinji KONO
-
commentSat, 31 Aug 2013 01:51:38 +0900, by Shinji KONO
-
clean upSat, 31 Aug 2013 01:47:49 +0900, by Shinji KONO
-
give up injective on Object?Sat, 31 Aug 2013 01:23:50 +0900, by Shinji KONO
-
Nat2F→F2Nat doneFri, 30 Aug 2013 21:46:18 +0900, by Shinji KONO
-
F2Nat→Nat2F doneFri, 30 Aug 2013 19:46:40 +0900, by Shinji KONO
-
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
-
commentSun, 25 Aug 2013 11:10:35 +0900, by Shinji KONO
-
hom set adjunction done.Sun, 25 Aug 2013 09:44:00 +0900, by Shinji KONO
-
hom-set to universal mapping done.Sat, 24 Aug 2013 22:14:29 +0900, by Shinji KONO
-
add more axiom on unity of oppsiteSat, 24 Aug 2013 17:16:07 +0900, by Shinji KONO