| Sat, 06 Oct 2018 13:42:27 +0900 |
Shinji KONO |
CCC start
|
| Mon, 13 Nov 2017 12:39:30 +0900 |
Shinji KONO |
fix
|
| Sun, 12 Nov 2017 10:01:06 +0900 |
Shinji KONO |
fix comment
|
| Sun, 12 Nov 2017 09:56:40 +0900 |
Shinji KONO |
change argument of Limit and K
|
| Sun, 12 Nov 2017 01:29:47 +0900 |
Shinji KONO |
fix universal mapping done.
|
| Sun, 12 Nov 2017 00:53:32 +0900 |
Shinji KONO |
fix again
|
| Sat, 11 Nov 2017 21:34:58 +0900 |
Shinji KONO |
fix monad/adjunction definition
|
| Wed, 08 Nov 2017 19:57:33 +0900 |
Shinji KONO |
fix comment
|
| 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
|
| Sat, 18 Mar 2017 16:15:40 +0900 |
Shinji KONO |
IProduct is written in Sets
|
| Tue, 14 Mar 2017 13:08:03 +0900 |
Shinji KONO |
fryed1 done
|
| Sun, 12 Mar 2017 19:46:07 +0900 |
Shinji KONO |
found limit in freyd
|
| Sat, 11 Mar 2017 16:38:08 +0900 |
Shinji KONO |
fix Limit pu a0 and t0 in record definition
|
| Tue, 07 Mar 2017 12:31:35 +0900 |
Shinji KONO |
add license
|
| Mon, 06 Mar 2017 15:45:51 +0900 |
Shinji KONO |
discrete category and product from a limit
|
| Sun, 04 Sep 2016 21:05:39 +0900 |
Shinji KONO |
fix IsEqualizer
|
| Tue, 30 Aug 2016 14:22:47 +0900 |
Shinji KONO |
fix limit
|
