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
-
natural transformation in representable functorMon, 12 Jun 2017 23:25:39 +0900, by Shinji KONO
-
on going ...Mon, 12 Jun 2017 18:11:23 +0900, by Shinji KONO