Mercurial > hg > Members > kono > Proof > category
graph
-
Added tag current for changeset 635418b4b2f32020-05-01, by Shinji KONO
-
add subcat2020-05-01, by Shinji KONO
-
small graph and small category on CCC to graph2020-05-01, by Shinji KONO
-
close2020-05-01, by Shinji KONO
-
Added tag non-small-graph for changeset 4105fabbadd62020-05-01, by Shinji KONO
-
add smallness in CCC to Graph2020-05-01, by Shinji KONO
-
...2020-05-01, by Shinji KONO
-
...2020-05-01, by Shinji KONO
-
...2020-05-01, by Shinji KONO
-
Positive Logic with equivalence2020-04-30, by Shinji KONO
-
...2020-04-30, by Shinji KONO
-
CCC to Graph forgetful functor2020-04-29, by Shinji KONO
-
Forgetful functor from CCC to Graph done2020-04-28, by Shinji KONO