Mercurial > hg > Members > kono > Proof > category

log universal-mapping.agda @ 804:2716d2945730

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) -30 tip
age author description
Wed, 13 Jun 2018 15:27:46 +0900 Shinji KONO exchange left and right
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
Sun, 29 Sep 2013 14:01:07 +0900 Shinji KONO arrow and lambda fix
Sun, 25 Aug 2013 11:10:35 +0900 Shinji KONO comment
Sun, 25 Aug 2013 09:44:00 +0900 Shinji KONO hom set adjunction done.
Sat, 24 Aug 2013 22:14:29 +0900 Shinji KONO hom-set to universal mapping done.
Sat, 24 Aug 2013 17:16:07 +0900 Shinji KONO add more axiom on unity of oppsite
Fri, 23 Aug 2013 17:30:04 +0900 Shinji KONO hmmmm
Fri, 23 Aug 2013 15:38:03 +0900 Shinji KONO hmm
Fri, 23 Aug 2013 10:11:58 +0900 Shinji KONO unity of oppsite
Mon, 19 Aug 2013 04:42:06 +0900 Shinji KONO mmmm
Thu, 08 Aug 2013 22:05:41 +0900 Shinji KONO remove Kleisli record
Thu, 25 Jul 2013 12:58:21 +0900 Shinji KONO distr
Wed, 24 Jul 2013 20:47:28 +0900 Shinji KONO add unitility
Tue, 23 Jul 2013 17:34:46 +0900 Shinji KONO Adjoint proved. All done.
Tue, 23 Jul 2013 16:49:12 +0900 Shinji KONO cleanup
Tue, 23 Jul 2013 16:36:31 +0900 Shinji KONO start adjunction
Tue, 23 Jul 2013 16:18:21 +0900 Shinji KONO nat-ε proved
Tue, 23 Jul 2013 16:01:25 +0900 Shinji KONO on going...
Tue, 23 Jul 2013 10:27:24 +0900 Shinji KONO on goging
Tue, 23 Jul 2013 10:13:09 +0900 Shinji KONO naturality of ε
Tue, 23 Jul 2013 04:10:42 +0900 Shinji KONO naturarity of η
Tue, 23 Jul 2013 03:39:56 +0900 Shinji KONO F is Functor proved.
Tue, 23 Jul 2013 02:57:11 +0900 Shinji KONO Functor cong done
Tue, 23 Jul 2013 01:45:56 +0900 Shinji KONO uniq-univeralMapping from Adjunction
Tue, 23 Jul 2013 01:27:43 +0900 Shinji KONO f replacement
Tue, 23 Jul 2013 00:29:17 +0900 Shinji KONO uniqness
Mon, 22 Jul 2013 21:29:26 +0900 Shinji KONO Functor Identity
less more | (0) -30 tip