Members/kono/Proof/category: revision graph

Topos Sets char-iso done
Tue, 18 May 2021 15:38:46 +0900, by Shinji KONO
iso-char in Sets Topos
Tue, 18 May 2021 01:06:43 +0900, by Shinji KONO
...
Mon, 17 May 2021 09:31:44 +0900, by Shinji KONO
could be. but give up now
Mon, 17 May 2021 09:30:48 +0900, by Shinji KONO
give up. assuming x ∙ ○ b is Polynominal
Mon, 17 May 2021 01:19:00 +0900, by Shinji KONO
no good
Mon, 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 bad
Mon, 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
...
Sun, 16 May 2021 13:46:39 +0900, by Shinji KONO
...
Sun, 16 May 2021 13:17:22 +0900, by Shinji KONO
...
Sun, 16 May 2021 07:32:31 +0900, by Shinji KONO
...
Sat, 15 May 2021 11:33:07 +0900, by Shinji KONO
...
Wed, 12 May 2021 21:14:24 +0900, by Shinji KONO
Polynominal done with minimum equality
Wed, 12 May 2021 12:52:54 +0900, by Shinji KONO

Mercurial > hg > Members > kono > Proof > category