Members/kono/Proof/category: revision graph

graph to ccc dead end
Tue, 23 Apr 2019 16:34:38 +0900, by Shinji KONO
graph to category
Tue, 23 Apr 2019 11:30:34 +0900, by Shinji KONO
...
Tue, 23 Apr 2019 06:39:24 +0900, by Shinji KONO
Added tag ccc for changeset 472a615c6e09
Tue, 23 Apr 2019 05:12:47 +0900, by Shinji KONO
fix ccc
Tue, 23 Apr 2019 05:12:42 +0900, by Shinji KONO
ccc to adjunction done
Mon, 22 Apr 2019 18:00:03 +0900, by Shinji KONO
...
Mon, 22 Apr 2019 12:43:49 +0900, by Shinji KONO
Hom a,b = Hom 1 b^a
Mon, 22 Apr 2019 02:41:53 +0900, by Shinji KONO
deduction theorem using category
Sun, 21 Apr 2019 18:11:14 +0900, by Shinji KONO
deduction theorem
Sun, 21 Apr 2019 17:43:01 +0900, by Shinji KONO
Sets is CCC
Fri, 19 Apr 2019 23:42:19 +0900, by Shinji KONO
CCC Hom done
Fri, 19 Apr 2019 19:20:04 +0900, by Shinji KONO
nat in ccc-2
Fri, 19 Apr 2019 12:20:48 +0900, by Shinji KONO
...
Thu, 18 Apr 2019 20:07:22 +0900, by Shinji KONO
on going CCC
Thu, 18 Apr 2019 10:00:20 +0900, by Shinji KONO

Mercurial > hg > Members > kono > Proof > category