Mercurial > hg > Members > kono > Proof > category
graph
-
arrow and lambda fixSun, 29 Sep 2013 14:01:07 +0900, by Shinji KONO
-
remove module parameter from yoneda functorSun, 29 Sep 2013 13:36:42 +0900, by Shinji KONO
-
fixWed, 25 Sep 2013 21:39:40 +0900, by Shinji KONO
-
limit preservation proved.Wed, 25 Sep 2013 21:12:29 +0900, by Shinji KONO
-
lemma1 will be provedWed, 25 Sep 2013 21:03:15 +0900, by Shinji KONO
-
limit equation done.Wed, 25 Sep 2013 20:24:39 +0900, by Shinji KONO
-
limit1 doneWed, 25 Sep 2013 19:54:35 +0900, by Shinji KONO
-
limit defined.Wed, 25 Sep 2013 19:34:10 +0900, by Shinji KONO
-
on goingWed, 25 Sep 2013 18:15:43 +0900, by Shinji KONO
-
limit preserving ...Wed, 25 Sep 2013 18:07:58 +0900, by Shinji KONO
-
fixWed, 25 Sep 2013 13:59:56 +0900, by Shinji KONO
-
move to iProduct axiomWed, 25 Sep 2013 13:25:14 +0900, by Shinji KONO
-
give up ...Tue, 24 Sep 2013 11:07:43 +0900, by Shinji KONO
-
ion goingTue, 24 Sep 2013 00:47:33 +0900, by Shinji KONO
-
uumTue, 24 Sep 2013 00:29:05 +0900, by Shinji KONO
-
commutativity continue...Mon, 23 Sep 2013 20:54:30 +0900, by Shinji KONO
-
comutativity remainsMon, 23 Sep 2013 19:12:45 +0900, by Shinji KONO
-
on going ...Mon, 23 Sep 2013 19:08:23 +0900, by Shinji KONO
-
limit on going...Mon, 23 Sep 2013 17:23:40 +0900, by Shinji KONO
-
limit from product and equalizer continue...Mon, 23 Sep 2013 13:21:59 +0900, by Shinji KONO
-
univ2limit done.Mon, 23 Sep 2013 10:57:39 +0900, by Shinji KONO
-
limit and prod/equalizerMon, 23 Sep 2013 03:31:24 +0900, by Shinji KONO
-
univ2limitMon, 23 Sep 2013 02:39:57 +0900, by Shinji KONO
-
2 yellow remainsMon, 23 Sep 2013 01:10:48 +0900, by Shinji KONO
-
yellow remains ...Mon, 23 Sep 2013 00:14:54 +0900, by Shinji KONO
-
on going ...Sun, 22 Sep 2013 23:49:52 +0900, by Shinji KONO
-
adjoint2limit problems are writtenSun, 22 Sep 2013 22:43:25 +0900, by Shinji KONO
-
try adjoint2limitSun, 22 Sep 2013 21:35:20 +0900, by Shinji KONO
-
adjunction to limitSun, 22 Sep 2013 21:27:03 +0900, by Shinji KONO
-
limit2adjoint doneSun, 22 Sep 2013 20:40:17 +0900, by Shinji KONO