graph

  • ...
    2021-03-23, by Shinji KONO
  • Functional Completeness
    2021-03-21, by Shinji KONO
  • ...
    2021-03-20, by Shinji KONO
  • ...
    2021-03-20, by Shinji KONO
  • ...
    2021-03-20, by Shinji KONO
  • ...
    2021-03-20, by Shinji KONO
  • ...
    2021-03-20, by Shinji KONO
  • ...
    2021-03-12, by Shinji KONO
  • ...
    2021-03-11, by Shinji KONO
  • ..
    2021-03-10, by Shinji KONO
  • yoneda done
    2021-03-10, by Shinji KONO
  • ...
    2021-03-10, by Shinji KONO
  • ...
    2021-03-09, by Shinji KONO
  • ...
    2021-03-09, by Shinji KONO
  • ...
    2021-03-09, by Shinji KONO
  • ...
    2021-03-09, by Shinji KONO
  • yoneda full and faithful
    2021-03-08, by Shinji KONO
  • separate CCCSets
    2021-03-07, by Shinji KONO
  • ...
    2021-03-07, by Shinji KONO
  • ...
    2021-03-07, by Shinji KONO
  • ...
    2021-03-07, by Shinji KONO
  • ...
    2021-03-06, by Shinji KONO
  • ...
    2021-03-06, by Shinji KONO
  • ...
    2021-03-06, by Shinji KONO
  • forgetful functor in Graph done
    2021-03-06, by Shinji KONO
  • remove suc level in CCCGraph
    2021-03-06, by Shinji KONO
  • ...
    2021-03-05, by Shinji KONO
  • ...
    2021-03-05, by Shinji KONO
  • ...
    2021-03-05, by Shinji KONO
  • ...
    2021-03-05, by Shinji KONO