Mercurial > hg > Members > kono > Proof > category
graph
-
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
-
t0f=t0 doneTue, 13 Jun 2017 22:36:54 +0900, by Shinji KONO
-
fixTue, 13 Jun 2017 10:15:24 +0900, by Shinji KONO