Mercurial > hg > Members > kono > Proof > category
graph
-
fix Product and pullbackTue, 07 Nov 2017 17:12:08 +0900, by Shinji KONO
-
fh=gh done. limit from product and equalizer doneMon, 06 Nov 2017 10:10:55 +0900, by Shinji KONO
-
...Sun, 05 Nov 2017 16:33:37 +0900, by Shinji KONO
-
extensionality remainsSun, 05 Nov 2017 13:22:59 +0900, by Shinji KONO
-
Product of Arrow is necessary ...Sat, 04 Nov 2017 15:49:26 +0900, by Shinji KONO
-
two product as in CWMSat, 04 Nov 2017 11:49:45 +0900, by Shinji KONO