Mercurial > hg > Members > kono > Proof > category
graph
-
...2024-07-06, by Shinji KONO
-
...2024-07-04, by Shinji KONO
-
...2024-07-04, by Shinji KONO
-
safe rewriting nearly finished2024-07-03, by Shinji KONO
-
...2024-07-01, by Shinji KONO
-
...2024-02-11, by Shinji KONO
-
...2023-11-23, by Shinji KONO
-
...2023-10-09, by Shinji KONO
-
add original library and fix for safe mode2023-10-07, by Shinji KONO
-
...2023-07-20, by Shinji KONO
-
...2023-07-20, by Shinji KONO
-
...2023-03-10, by Shinji KONO
-
unify yoneda functor2023-03-10, by Shinji KONO
-
...2023-01-25, by Shinji KONO
-
...2023-01-24, by Shinji KONO
-
...2023-01-24, by Shinji KONO
-
add gorup2023-01-24, by Shinji KONO
-
...2022-11-03, by Shinji KONO
-
...2022-01-30, by Shinji KONO
-
closed this2021-08-29, by Shinji KONO
-
explict x in Poly is bad in Internal Language2021-08-29, by Shinji KONO
-
add Todo2021-07-30, by Shinji KONO
-
xf fix2021-05-19, by Shinji KONO
-
Topos Sets char-iso done2021-05-18, by Shinji KONO
-
iso-char in Sets Topos2021-05-17, by Shinji KONO
-
...2021-05-17, by Shinji KONO
-
could be. but give up now2021-05-17, by Shinji KONO
-
give up. assuming x ∙ ○ b is Polynominal2021-05-16, by Shinji KONO
-
no good2021-05-16, by Shinji KONO
-
i : {b c : Obj A} (f : Hom A b c ) → ¬ ( f ≅ x ) → φ x f is bad2021-05-16, by Shinji KONO