Mercurial > hg > Members > kono > Proof > category
graph
-
Sets completeness failedThu, 16 Mar 2017 10:26:30 +0900, by Shinji KONO
-
try to make prodcut and equalizer in SetsWed, 15 Mar 2017 19:26:51 +0900, by Shinji KONO
-
prove only limit preserving on co yoneda functor's objWed, 15 Mar 2017 12:28:50 +0900, by Shinji KONO
-
UpreseveLimit detailingWed, 15 Mar 2017 12:10:24 +0900, by Shinji KONO
-
add if U is iso to representable functor then preserve limitWed, 15 Mar 2017 11:19:54 +0900, by Shinji KONO
-
fixTue, 14 Mar 2017 13:37:07 +0900, by Shinji KONO