| Mon, 27 Nov 2017 14:42:49 +0900 |
Shinji KONO |
Generalize Free Theorem
|
| Mon, 13 Nov 2017 13:31:35 +0900 |
Shinji KONO |
fix
|
| 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
|
| Tue, 07 Nov 2017 17:12:08 +0900 |
Shinji KONO |
fix Product and pullback
|
| Sat, 04 Nov 2017 11:49:45 +0900 |
Shinji KONO |
two product as in CWM
|
| 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 17:49:58 +0900 |
Shinji KONO |
fix completeness
|
| Sat, 12 Aug 2017 16:35:58 +0900 |
Shinji KONO |
move InitialObject to cat-utility
|
| Tue, 28 Mar 2017 11:49:35 +0900 |
Shinji KONO |
Small Category for Sets Limit
|
| 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
|
| Mon, 13 Mar 2017 13:22:40 +0900 |
Shinji KONO |
on going..
|
| 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
|
| Mon, 06 Mar 2017 15:45:51 +0900 |
Shinji KONO |
discrete category and product from a limit
|
| Fri, 03 Mar 2017 12:12:06 +0900 |
Shinji KONO |
limit-to done
|
| Thu, 02 Mar 2017 17:41:20 +0900 |
Shinji KONO |
limit with nat
|
| Sun, 04 Sep 2016 21:05:39 +0900 |
Shinji KONO |
fix IsEqualizer
|
| Tue, 30 Aug 2016 14:22:47 +0900 |
Shinji KONO |
fix limit
|
| Wed, 24 Dec 2014 12:00:16 +0900 |
Shinji KONO |
try equalizer from limit
|
| Sun, 05 Jan 2014 23:37:12 +0900 |
Shinji KONO |
is this right direction?
|
| Sun, 29 Sep 2013 14:01:07 +0900 |
Shinji KONO |
arrow and lambda fix
|
| Sun, 22 Sep 2013 18:05:09 +0900 |
Shinji KONO |
co universal mapping
|
| Sun, 22 Sep 2013 11:08:41 +0900 |
Shinji KONO |
add limit
|
| Fri, 20 Sep 2013 21:21:48 +0900 |
Shinji KONO |
pullback done
|
| Fri, 20 Sep 2013 15:39:50 +0900 |
Shinji KONO |
pullback
|
