| Mon, 13 Nov 2017 13:31:35 +0900 |
Shinji KONO |
fix
|
| Mon, 13 Nov 2017 12:39:30 +0900 |
Shinji KONO |
fix
|
| Sun, 12 Nov 2017 09:56:40 +0900 |
Shinji KONO |
change argument of Limit and K
|
| Thu, 02 Nov 2017 09:00:01 +0900 |
Shinji KONO |
fix completeness
|
| Mon, 30 Oct 2017 18:18:36 +0900 |
Shinji KONO |
fix
|
| Fri, 30 Jun 2017 23:36:54 +0900 |
Shinji KONO |
on going ...
|
| Tue, 27 Jun 2017 10:29:06 +0900 |
Shinji KONO |
add compleness
|
| Mon, 26 Jun 2017 17:41:02 +0900 |
Shinji KONO |
fix
|
| Mon, 26 Jun 2017 17:18:23 +0900 |
Shinji KONO |
remove arrow's yellow
|
| Mon, 19 Jun 2017 18:49:21 +0900 |
Shinji KONO |
initital obj uniquness done
|
| Mon, 12 Jun 2017 10:50:02 +0900 |
Shinji KONO |
freyd2
|
| Tue, 14 Mar 2017 13:08:03 +0900 |
Shinji KONO |
fryed1 done
|
| 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
|
| Fri, 10 Mar 2017 23:57:49 +0900 |
Shinji KONO |
Completeness of Comma Category begin
|
| Fri, 03 Mar 2017 12:12:06 +0900 |
Shinji KONO |
limit-to done
|
| Thu, 02 Mar 2017 20:22:42 +0900 |
Shinji KONO |
freyd trbouled again
|
| Sun, 04 Sep 2016 21:05:39 +0900 |
Shinji KONO |
fix IsEqualizer
|
| Thu, 01 Sep 2016 17:34:28 +0900 |
Shinji KONO |
fix
|
| 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
|
