| Sat, 06 Mar 2021 13:35:45 +0900 |
Shinji KONO |
forgetful functor in Graph done
|
| Sat, 06 Mar 2021 11:42:01 +0900 |
Shinji KONO |
remove suc level in CCCGraph
|
| Fri, 05 Mar 2021 22:49:03 +0900 |
Shinji KONO |
...
|
| Fri, 05 Mar 2021 19:08:11 +0900 |
Shinji KONO |
...
|
| Fri, 05 Mar 2021 10:55:45 +0900 |
Shinji KONO |
...
|
| Fri, 05 Mar 2021 10:20:20 +0900 |
Shinji KONO |
...
|
| Thu, 04 Mar 2021 18:51:10 +0900 |
Shinji KONO |
...
|
| Wed, 03 Mar 2021 16:30:40 +0900 |
Shinji KONO |
Added tag Topos for changeset 949f83b3a8f0
|
| 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 |
...
|
