log

age author description
Sun, 29 Sep 2013 14:01:07 +0900 Shinji KONO arrow and lambda fix
Sun, 29 Sep 2013 13:36:42 +0900 Shinji KONO remove module parameter from yoneda functor
Wed, 25 Sep 2013 21:39:40 +0900 Shinji KONO fix
Wed, 25 Sep 2013 21:12:29 +0900 Shinji KONO limit preservation proved.
Wed, 25 Sep 2013 21:03:15 +0900 Shinji KONO lemma1 will be proved
Wed, 25 Sep 2013 20:24:39 +0900 Shinji KONO limit equation done.
Wed, 25 Sep 2013 19:54:35 +0900 Shinji KONO limit1 done
Wed, 25 Sep 2013 19:34:10 +0900 Shinji KONO limit defined.
Wed, 25 Sep 2013 18:15:43 +0900 Shinji KONO on going
Wed, 25 Sep 2013 18:07:58 +0900 Shinji KONO limit preserving ...
Wed, 25 Sep 2013 13:59:56 +0900 Shinji KONO fix
Wed, 25 Sep 2013 13:25:14 +0900 Shinji KONO move to iProduct axiom
Tue, 24 Sep 2013 11:07:43 +0900 Shinji KONO give up ...
Tue, 24 Sep 2013 00:47:33 +0900 Shinji KONO ion going
Tue, 24 Sep 2013 00:29:05 +0900 Shinji KONO uum
Mon, 23 Sep 2013 20:54:30 +0900 Shinji KONO commutativity continue...
Mon, 23 Sep 2013 19:12:45 +0900 Shinji KONO comutativity remains
Mon, 23 Sep 2013 19:08:23 +0900 Shinji KONO on going ...
Mon, 23 Sep 2013 17:23:40 +0900 Shinji KONO limit on going...
Mon, 23 Sep 2013 13:21:59 +0900 Shinji KONO limit from product and equalizer continue...
Mon, 23 Sep 2013 10:57:39 +0900 Shinji KONO univ2limit done.
Mon, 23 Sep 2013 03:31:24 +0900 Shinji KONO limit and prod/equalizer
Mon, 23 Sep 2013 02:39:57 +0900 Shinji KONO univ2limit
Mon, 23 Sep 2013 01:10:48 +0900 Shinji KONO 2 yellow remains
Mon, 23 Sep 2013 00:14:54 +0900 Shinji KONO yellow remains ...
Sun, 22 Sep 2013 23:49:52 +0900 Shinji KONO on going ...
Sun, 22 Sep 2013 22:43:25 +0900 Shinji KONO adjoint2limit problems are written
Sun, 22 Sep 2013 21:35:20 +0900 Shinji KONO try adjoint2limit
Sun, 22 Sep 2013 21:27:03 +0900 Shinji KONO adjunction to limit
Sun, 22 Sep 2013 20:40:17 +0900 Shinji KONO limit2adjoint done
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
Sat, 14 Sep 2013 11:19:12 +0900 Shinji KONO every equalizer is monic
Sat, 14 Sep 2013 10:04:18 +0900 Shinji KONO equalizer fix
Wed, 11 Sep 2013 20:26:48 +0900 Shinji KONO fix
Mon, 09 Sep 2013 16:15:09 +0900 Shinji KONO comment
Mon, 09 Sep 2013 16:03:14 +0900 Shinji KONO comment
Mon, 09 Sep 2013 15:56:34 +0900 Shinji KONO equalizer iso done.
Mon, 09 Sep 2013 14:03:44 +0900 Shinji KONO fix
Mon, 09 Sep 2013 12:55:36 +0900 Shinji KONO fix
Mon, 09 Sep 2013 12:47:53 +0900 Shinji KONO equalizer done.
Mon, 09 Sep 2013 12:35:56 +0900 Shinji KONO cong-γ1 done, cong-δ1 remains
Mon, 09 Sep 2013 12:02:48 +0900 Shinji KONO fix
Mon, 09 Sep 2013 10:22:09 +0900 Shinji KONO fix
Sun, 08 Sep 2013 18:24:49 +0900 Shinji KONO fix
Sun, 08 Sep 2013 17:47:04 +0900 Shinji KONO fix
Sun, 08 Sep 2013 12:34:35 +0900 Shinji KONO comments