| 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
|
| Wed, 11 Sep 2013 20:26:48 +0900 |
Shinji KONO |
fix
|
| Sun, 01 Sep 2013 13:26:30 +0900 |
Shinji KONO |
remove an extensionality
|
| Sun, 25 Aug 2013 09:44:00 +0900 |
Shinji KONO |
hom set adjunction done.
|
| Sat, 24 Aug 2013 22:14:29 +0900 |
Shinji KONO |
hom-set to universal mapping done.
|
| Sat, 24 Aug 2013 17:16:07 +0900 |
Shinji KONO |
add more axiom on unity of oppsite
|
| Fri, 23 Aug 2013 10:11:58 +0900 |
Shinji KONO |
unity of oppsite
|
| Sun, 11 Aug 2013 15:52:09 +0900 |
Shinji KONO |
trying..
|
| Thu, 08 Aug 2013 22:05:41 +0900 |
Shinji KONO |
remove Kleisli record
|
| Wed, 31 Jul 2013 15:17:15 +0900 |
Shinji KONO |
on going ...
|
| Mon, 29 Jul 2013 12:41:40 +0900 |
Shinji KONO |
Comparison Functor constructed
|
| Sun, 28 Jul 2013 19:49:00 +0900 |
Shinji KONO |
strange but worked.
|
| Sun, 28 Jul 2013 09:10:44 +0900 |
Shinji KONO |
on going
|
| Sun, 28 Jul 2013 08:04:01 +0900 |
Shinji KONO |
MEsolution
|
| Sat, 27 Jul 2013 21:19:58 +0900 |
Shinji KONO |
resosultion
|
| Sat, 27 Jul 2013 17:32:32 +0900 |
Shinji KONO |
record Resolution
|
| Sat, 27 Jul 2013 11:52:10 +0900 |
Shinji KONO |
Adjoint of U_T F_T
|
| Thu, 25 Jul 2013 14:46:02 +0900 |
Shinji KONO |
generalized distr and assco1
|
| Thu, 25 Jul 2013 13:56:16 +0900 |
Shinji KONO |
join implicit parameter
|
| Thu, 25 Jul 2013 12:58:21 +0900 |
Shinji KONO |
distr
|
| Wed, 24 Jul 2013 21:19:27 +0900 |
Shinji KONO |
nat and functor comp
|
| Wed, 24 Jul 2013 20:47:28 +0900 |
Shinji KONO |
add unitility
|
