| Sun, 22 Sep 2013 19:49:38 +0900 |
Shinji KONO |
one yellow remain on ∀{x} → B [ TMap f x ≈ TMap g x ]
|
| Sun, 22 Sep 2013 18:48:12 +0900 |
Shinji KONO |
adjoint form limit
|
| Sun, 22 Sep 2013 18:05:09 +0900 |
Shinji KONO |
co universal mapping
|
| Sun, 22 Sep 2013 17:26:47 +0900 |
Shinji KONO |
Constancy Functor
|
| Sun, 22 Sep 2013 13:19:01 +0900 |
Shinji KONO |
iso on limit
|
| 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 19:03:57 +0900 |
Shinji KONO |
on going ..
|
| Fri, 20 Sep 2013 18:58:32 +0900 |
Shinji KONO |
uniqueness remains
|
| Fri, 20 Sep 2013 16:55:22 +0900 |
Shinji KONO |
pull back continue
|
| Fri, 20 Sep 2013 15:39:50 +0900 |
Shinji KONO |
pullback
|
| Tue, 17 Sep 2013 11:27:57 +0900 |
Shinji KONO |
add figure
|
| Mon, 16 Sep 2013 17:26:42 +0900 |
Shinji KONO |
simpler equalizer iso
|
| Sat, 14 Sep 2013 11:21:42 +0900 |
Shinji KONO |
fix
|
| Sat, 14 Sep 2013 11:20:18 +0900 |
Shinji KONO |
simpler proof
|
