| 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
|
| Mon, 30 Oct 2017 18:14:41 +0900 |
Shinji KONO |
remove comp from limit-to
|
| Mon, 30 Oct 2017 17:49:58 +0900 |
Shinji KONO |
fix completeness
|
| Mon, 30 Oct 2017 11:57:49 +0900 |
Shinji KONO |
SetCompleteness done!
|
| Fri, 27 Oct 2017 10:01:35 +0900 |
Shinji KONO |
...
|
| Mon, 23 Oct 2017 15:21:20 +0900 |
Shinji KONO |
...
|
| Mon, 23 Oct 2017 07:52:30 +0900 |
Shinji KONO |
...
|
| Sun, 22 Oct 2017 23:36:30 +0900 |
Shinji KONO |
...
|
| Sun, 22 Oct 2017 22:42:56 +0900 |
Shinji KONO |
introducd HeterogeneousEquality
|
| Sat, 12 Aug 2017 16:35:58 +0900 |
Shinji KONO |
move InitialObject to cat-utility
|
| Wed, 19 Jul 2017 22:27:35 +0900 |
Shinji KONO |
maybe monad done
|
| Wed, 19 Jul 2017 20:38:02 +0900 |
Shinji KONO |
add maybe-monad
|
| Sun, 16 Jul 2017 14:05:18 +0900 |
Shinji KONO |
fix
|
| Thu, 06 Jul 2017 13:50:45 +0900 |
Shinji KONO |
adjoint functor theorem done
|
| Thu, 06 Jul 2017 12:22:54 +0900 |
Shinji KONO |
on going ...
|
| Thu, 06 Jul 2017 09:54:56 +0900 |
Shinji KONO |
fix
|
| Wed, 05 Jul 2017 10:35:17 +0900 |
Shinji KONO |
universal mapping
|
| Wed, 05 Jul 2017 10:30:17 +0900 |
Shinji KONO |
uniquness
|
| Wed, 05 Jul 2017 09:55:31 +0900 |
Shinji KONO |
solution
|
| Wed, 05 Jul 2017 09:39:58 +0900 |
Shinji KONO |
rewritw solution
|
| Wed, 05 Jul 2017 07:53:07 +0900 |
Shinji KONO |
id of Functor F
|
| Tue, 04 Jul 2017 11:03:37 +0900 |
Shinji KONO |
fix
|
| Tue, 04 Jul 2017 10:26:38 +0900 |
Shinji KONO |
module introdued
|
| Tue, 04 Jul 2017 10:16:07 +0900 |
Shinji KONO |
use module
|
| Tue, 04 Jul 2017 03:39:29 +0900 |
Shinji KONO |
functorF and η
|
| Mon, 03 Jul 2017 20:53:14 +0900 |
Shinji KONO |
add adjunction
|
| Mon, 03 Jul 2017 16:40:34 +0900 |
Shinji KONO |
start adjoint
|
| Mon, 03 Jul 2017 15:35:28 +0900 |
Shinji KONO |
representability theorem done.
|
