Mercurial > hg > Members > kono > Proof > category

log freyd.agda @ 784:f27d966939f8

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