log pullback.agda @ 790:1e7319868d77

age author description
Sat, 06 Oct 2018 13:42:27 +0900 Shinji KONO CCC start
Mon, 13 Nov 2017 12:39:30 +0900 Shinji KONO fix
Sun, 12 Nov 2017 10:01:06 +0900 Shinji KONO fix comment
Sun, 12 Nov 2017 09:56:40 +0900 Shinji KONO change argument of Limit and K
Sun, 12 Nov 2017 01:29:47 +0900 Shinji KONO fix universal mapping done.
Sun, 12 Nov 2017 00:53:32 +0900 Shinji KONO fix again
Sat, 11 Nov 2017 21:34:58 +0900 Shinji KONO fix monad/adjunction definition
Wed, 08 Nov 2017 19:57:33 +0900 Shinji KONO fix comment
Wed, 08 Nov 2017 08:40:11 +0900 Shinji KONO ...
Wed, 08 Nov 2017 00:09:21 +0900 Shinji KONO ...
Wed, 08 Nov 2017 00:05:50 +0900 Shinji KONO clean up
Tue, 07 Nov 2017 23:48:46 +0900 Shinji KONO clean up of pullback
Tue, 07 Nov 2017 17:12:08 +0900 Shinji KONO fix Product and pullback
Mon, 06 Nov 2017 10:10:55 +0900 Shinji KONO fh=gh done. limit from product and equalizer done
Sun, 05 Nov 2017 16:33:37 +0900 Shinji KONO ...
Sun, 05 Nov 2017 13:22:59 +0900 Shinji KONO extensionality remains
Sat, 04 Nov 2017 15:49:26 +0900 Shinji KONO Product of Arrow is necessary ...
Sat, 04 Nov 2017 11:49:45 +0900 Shinji KONO two product as in CWM
Fri, 03 Nov 2017 20:45:46 +0900 Shinji KONO ...
Fri, 03 Nov 2017 18:59:03 +0900 Shinji KONO ...
Fri, 03 Nov 2017 13:31:08 +0900 Shinji KONO fix limit from product and equalizer (not yet finished )
Thu, 02 Nov 2017 09:00:01 +0900 Shinji KONO fix completeness
Sat, 18 Mar 2017 16:15:40 +0900 Shinji KONO IProduct is written in Sets
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
Tue, 07 Mar 2017 12:31:35 +0900 Shinji KONO add license
Mon, 06 Mar 2017 15:45:51 +0900 Shinji KONO discrete category and product from a limit
Sun, 04 Sep 2016 21:05:39 +0900 Shinji KONO fix IsEqualizer
Tue, 30 Aug 2016 14:22:47 +0900 Shinji KONO fix limit
Sat, 05 Mar 2016 07:20:03 +0900 Shinji KONO two cat
Sun, 05 Jan 2014 23:37:12 +0900 Shinji KONO is this right direction?
Mon, 04 Nov 2013 14:46:07 +0900 Shinji KONO Limit form equalizer and product done.
Wed, 30 Oct 2013 19:35:14 +0900 Shinji KONO looped.
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 ...