Mercurial > hg > Members > kono > Proof > category

log pullback.agda @ 656:18431b63893b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) -50 -30 tip
age author description
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 ...
less more | (0) -50 -30 tip