Mercurial > hg > Members > kono > Proof > category
graph
-
CCC to Graph forgetful functorWed, 29 Apr 2020 11:24:32 +0900, by Shinji KONO
-
Forgetful functor from CCC to Graph doneWed, 29 Apr 2020 04:07:44 +0900, by Shinji KONO
-
...Wed, 29 Apr 2020 03:01:05 +0900, by Shinji KONO