Mercurial > hg > Members > kono > Proof > category
graph
-
could be. but give up nowMon, 17 May 2021 09:30:48 +0900, by Shinji KONO
-
give up. assuming x ∙ ○ b is PolynominalMon, 17 May 2021 01:19:00 +0900, by Shinji KONO
-
no goodMon, 17 May 2021 00:43:02 +0900, by Shinji KONO
-
i : {b c : Obj A} (f : Hom A b c ) → ¬ ( f ≅ x ) → φ x f is badMon, 17 May 2021 00:42:08 +0900, by Shinji KONO
-
...Sun, 16 May 2021 23:38:00 +0900, by Shinji KONO
-
...Sun, 16 May 2021 22:01:28 +0900, by Shinji KONO