Mercurial > hg > Members > kono > Proof > category
graph
-
remove CSC and subcat2020-05-04, by Shinji KONO
-
again ...2020-05-04, by Shinji KONO
-
close PLS2020-05-04, by Shinji KONO
-
...2020-05-04, by Shinji KONO
-
PLS2020-05-04, by Shinji KONO
-
...2020-05-04, by Shinji KONO
-
...2020-05-04, by Shinji KONO
-
give up reverse mapping2020-05-04, by Shinji KONO
-
...2020-05-04, by Shinji KONO
-
...2020-05-03, by Shinji KONO
-
reverse functor of CS2020-05-03, by Shinji KONO
-
...2020-05-02, by Shinji KONO
-
...2020-05-01, by Shinji KONO
-
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
-
...2020-04-28, by Shinji KONO
-
...2020-04-28, by Shinji KONO
-
...2020-04-27, by Shinji KONO
-
Added tag graph-to-CCC for changeset 4d64a90410c62020-04-13, by Shinji KONO
-
CCC is trivial2020-04-13, by Shinji KONO
-
... funcn does not work2020-04-13, by Shinji KONO
-
clean up CCCGraph1.agda2020-04-12, by Shinji KONO
-
return to Sets and SM2020-04-12, by Shinji KONO
-
SL is not strictly positive2020-04-12, by Shinji KONO
-
...2020-04-12, by Shinji KONO
-
another approach2020-04-12, by Shinji KONO
-
fix *2020-04-11, by Shinji KONO
-
loop2020-04-11, by Shinji KONO
-
...2020-04-11, by Shinji KONO
-
...2020-04-11, by Shinji KONO
-
...2020-04-11, by Shinji KONO
-
...2020-04-11, by Shinji KONO
-
...2020-04-11, by Shinji KONO
-
...2020-04-11, by Shinji KONO
-
...2020-04-11, by Shinji KONO
-
...2020-04-10, by Shinji KONO
-
o-resp remains2020-04-10, by Shinji KONO
-
...2020-04-09, by Shinji KONO
-
dead end2020-04-09, by Shinji KONO
-
SC2020-04-09, by Shinji KONO
-
join2020-04-09, by Shinji KONO
-
decidablity of < f , g > is required2020-04-08, by Shinji KONO
-
close2020-04-08, by Shinji KONO
-
... dead end2020-04-08, by Shinji KONO
-
...2020-04-08, by Shinji KONO
-
...2020-04-08, by Shinji KONO
-
≡ is no good because of non regularized terms2020-04-07, by Shinji KONO