Mercurial > hg > Members > kono > Proof > category
graph
-
if K{*}↓U has initial Obj, U is representable done.2017-06-30, by Shinji KONO
-
on going ...2017-06-30, by Shinji KONO
-
introduce U preserving2017-06-30, by Shinji KONO
-
fix2017-06-28, by Shinji KONO
-
add equalizer2017-06-27, by Shinji KONO
-
add compleness2017-06-27, by Shinji KONO
-
introduce fArrow2017-06-26, by Shinji KONO
-
fix2017-06-26, by Shinji KONO
-
fix2017-06-26, by Shinji KONO
-
remove arrow's yellow2017-06-26, by Shinji KONO
-
fix2017-06-25, by Shinji KONO
-
on going ...2017-06-23, by Shinji KONO
-
initialObject done2017-06-23, by Shinji KONO
-
introduce one element set2017-06-23, by Shinji KONO