| 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
|
