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