Members/kono/Proof/category: revision graph

graph

less more | rev 1099: (0) -1000 -300 -100 -50 -24 +24 tip

closed this
Sun, 29 Aug 2021 16:07:54 +0900, by Shinji KONO
explict x in Poly is bad in Internal Language
Sun, 29 Aug 2021 13:44:54 +0900, by Shinji KONO
add Todo
Sat, 31 Jul 2021 06:58:48 +0900, by Shinji KONO
xf fix
Wed, 19 May 2021 09:00:25 +0900, by Shinji KONO
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
fix Poly minimum equality
Wed, 12 May 2021 11:30:41 +0900, by Shinji KONO
...
Wed, 12 May 2021 00:42:14 +0900, by Shinji KONO
...
Tue, 11 May 2021 22:59:27 +0900, by Shinji KONO
..
Mon, 10 May 2021 16:24:03 +0900, by Shinji KONO
...
Sun, 09 May 2021 17:09:21 +0900, by Shinji KONO

less more | rev 1099: (0) -1000 -300 -100 -50 -24 +24 tip

Mercurial > hg > Members > kono > Proof > category

graph