| Wed, 08 Nov 2017 08:40:11 +0900 |
Shinji KONO |
...
|
| Wed, 08 Nov 2017 00:09:21 +0900 |
Shinji KONO |
...
|
| Wed, 08 Nov 2017 00:05:50 +0900 |
Shinji KONO |
clean up
|
| Tue, 07 Nov 2017 23:48:46 +0900 |
Shinji KONO |
clean up of pullback
|
| Tue, 07 Nov 2017 17:12:08 +0900 |
Shinji KONO |
fix Product and pullback
|
| Mon, 06 Nov 2017 10:10:55 +0900 |
Shinji KONO |
fh=gh done. limit from product and equalizer done
|
| Sun, 05 Nov 2017 16:33:37 +0900 |
Shinji KONO |
...
|
| Sun, 05 Nov 2017 13:22:59 +0900 |
Shinji KONO |
extensionality remains
|
| Sat, 04 Nov 2017 15:49:26 +0900 |
Shinji KONO |
Product of Arrow is necessary ...
|
| Sat, 04 Nov 2017 11:49:45 +0900 |
Shinji KONO |
two product as in CWM
|
| Fri, 03 Nov 2017 20:45:46 +0900 |
Shinji KONO |
...
|
| Fri, 03 Nov 2017 18:59:03 +0900 |
Shinji KONO |
...
|
| Fri, 03 Nov 2017 13:31:08 +0900 |
Shinji KONO |
fix limit from product and equalizer (not yet finished )
|
| Thu, 02 Nov 2017 09:00:01 +0900 |
Shinji KONO |
fix completeness
|
| Mon, 30 Oct 2017 18:18:36 +0900 |
Shinji KONO |
fix
|
