Mercurial > hg > Members > kono > Proof > category
graph
-
on going ...Tue, 20 Jun 2017 22:36:15 +0900, by Shinji KONO
-
fixTue, 20 Jun 2017 16:36:01 +0900, by Shinji KONO
-
initital obj uniquness doneMon, 19 Jun 2017 18:49:21 +0900, by Shinji KONO
-
on going ..Wed, 14 Jun 2017 11:37:48 +0900, by Shinji KONO
-
initial Object's arrow foundWed, 14 Jun 2017 10:37:41 +0900, by Shinji KONO
-
Representational Functor preserve limit doneTue, 13 Jun 2017 22:53:44 +0900, by Shinji KONO