| Tue, 30 Aug 2016 15:11:17 +0900 |
Shinji KONO |
preinital full subcategory done
|
| Tue, 30 Aug 2016 14:22:47 +0900 |
Shinji KONO |
fix limit
|
| Tue, 30 Aug 2016 01:40:56 +0900 |
Shinji KONO |
equ
|
| Tue, 30 Aug 2016 00:19:10 +0900 |
Shinji KONO |
clean up
|
| Mon, 29 Aug 2016 19:21:40 +0900 |
Shinji KONO |
add rest of equation
|
| Mon, 29 Aug 2016 17:02:03 +0900 |
Shinji KONO |
initialFullSubCategory
|
| Sun, 28 Aug 2016 18:59:40 +0900 |
Shinji KONO |
f=g if equalizer k has right inverse
|
| Wed, 24 Dec 2014 12:00:16 +0900 |
Shinji KONO |
try equalizer from limit
|
| Sat, 15 Mar 2014 10:15:54 +0900 |
Shinji KONO |
System T and System F
|
| Mon, 06 Jan 2014 17:18:13 +0900 |
Shinji KONO |
on going...
|
| Mon, 06 Jan 2014 00:46:48 +0900 |
Shinji KONO |
???
|
| Sun, 05 Jan 2014 23:37:12 +0900 |
Shinji KONO |
is this right direction?
|
| Sun, 05 Jan 2014 19:34:11 +0900 |
Shinji KONO |
on going...
|
| Sun, 05 Jan 2014 19:29:52 +0900 |
Shinji KONO |
on going...
|
| Sun, 05 Jan 2014 19:16:18 +0900 |
Shinji KONO |
preinitial problem written
|
| Sun, 05 Jan 2014 19:02:29 +0900 |
Shinji KONO |
pre-initial
|
| Sun, 05 Jan 2014 18:51:44 +0900 |
Shinji KONO |
small full subcategory done.
|
| Sun, 05 Jan 2014 10:36:11 +0900 |
Shinji KONO |
Small Full Subcategory (underconstruction)
|
| Sun, 05 Jan 2014 09:52:13 +0900 |
Shinji KONO |
subset
|
| Sun, 05 Jan 2014 08:46:31 +0900 |
Shinji KONO |
Freyd Adjoint Functor Theorem
|
