| Sat, 10 Apr 2021 11:39:46 +0900 |
Shinji KONO |
...
|
| Wed, 07 Apr 2021 15:17:38 +0900 |
Shinji KONO |
...
|
| Fri, 02 Apr 2021 19:55:43 +0900 |
Shinji KONO |
...
|
| Fri, 02 Apr 2021 11:26:44 +0900 |
Shinji KONO |
...
|
| Fri, 02 Apr 2021 02:48:12 +0900 |
Shinji KONO |
...
|
| Wed, 31 Mar 2021 15:58:02 +0900 |
Shinji KONO |
...
|
| Wed, 24 Mar 2021 23:15:22 +0900 |
Shinji KONO |
...
|
| Tue, 23 Mar 2021 17:58:57 +0900 |
Shinji KONO |
two equalizers in Topos
|
| Tue, 23 Mar 2021 14:41:47 +0900 |
Shinji KONO |
...
|
| Thu, 04 Mar 2021 18:51:10 +0900 |
Shinji KONO |
...
|
| Wed, 03 Mar 2021 16:26:00 +0900 |
Shinji KONO |
...
Topos
|
| Wed, 03 Mar 2021 16:11:01 +0900 |
Shinji KONO |
N ≅ N + 1 done
|
| Wed, 03 Mar 2021 09:48:32 +0900 |
Shinji KONO |
...
|
| Wed, 03 Mar 2021 04:51:55 +0900 |
Shinji KONO |
...
|
| Wed, 03 Mar 2021 04:30:18 +0900 |
Shinji KONO |
... Nat
|
| Wed, 03 Mar 2021 00:58:24 +0900 |
Shinji KONO |
...
|
| Tue, 02 Mar 2021 20:49:13 +0900 |
Shinji KONO |
...
|
| Tue, 02 Mar 2021 17:56:31 +0900 |
Shinji KONO |
fix Topos equalizer iso
|
| Tue, 02 Mar 2021 09:48:12 +0900 |
Shinji KONO |
...
|
| Mon, 01 Mar 2021 17:01:00 +0900 |
Shinji KONO |
char-m=⊤
|
| Mon, 01 Mar 2021 11:26:28 +0900 |
Shinji KONO |
...
|
| Sun, 28 Feb 2021 17:31:13 +0900 |
Shinji KONO |
...
|
| Sat, 27 Feb 2021 22:57:42 +0900 |
Shinji KONO |
...
|
| Sat, 27 Feb 2021 12:15:28 +0900 |
Shinji KONO |
...
|
| Thu, 25 Feb 2021 02:01:37 +0900 |
Shinji KONO |
bi-cartesian
|
| Tue, 23 Feb 2021 16:32:06 +0900 |
Shinji KONO |
Topos as pull back
|
| Tue, 23 Feb 2021 14:11:12 +0900 |
Shinji KONO |
...
|
