Mercurial > hg > Members > kono > Proof > category
graph
-
f=g if equalizer k has right inverseSun, 28 Aug 2016 18:59:40 +0900, by Shinji KONO
-
add discreteSun, 27 Mar 2016 09:18:01 +0900, by Shinji KONO
-
functor constraint does not work well on distribution lawSat, 26 Mar 2016 20:00:34 +0900, by Shinji KONO
-
add another method as a commentSat, 26 Mar 2016 17:18:49 +0900, by Shinji KONO
-
clean upSat, 26 Mar 2016 15:51:30 +0900, by Shinji KONO
-
limit-to doneSat, 26 Mar 2016 15:47:46 +0900, by Shinji KONO
-
nat commute in limit-toSat, 26 Mar 2016 15:09:19 +0900, by Shinji KONO
-
...Sat, 26 Mar 2016 13:50:18 +0900, by Shinji KONO
-
add NilSat, 26 Mar 2016 12:31:14 +0900, by Shinji KONO
-
Functor MA → ASat, 26 Mar 2016 10:16:05 +0900, by Shinji KONO
-
define MA and IThu, 24 Mar 2016 14:49:49 +0900, by Shinji KONO
-
fix imit-to-edu for MaybeCat / TwoCatThu, 24 Mar 2016 14:12:53 +0900, by Shinji KONO
-
TwoCat / indexFunctor all doneThu, 24 Mar 2016 13:44:27 +0900, by Shinji KONO
-
o-resp passedThu, 24 Mar 2016 13:11:50 +0900, by Shinji KONO
-
fix free-monoidThu, 24 Mar 2016 12:07:32 +0900, by Shinji KONO
-
refl in free-monoid troubleThu, 24 Mar 2016 11:31:14 +0900, by Shinji KONO
-
cong is a bit strange...Thu, 24 Mar 2016 02:53:25 +0900, by Shinji KONO
-
assoc passedThu, 24 Mar 2016 02:07:45 +0900, by Shinji KONO
-
with inv-f, distribution law passed.Thu, 24 Mar 2016 01:48:13 +0900, by Shinji KONO
-
if we add invserse, there no nothing part, it generates extra commutaivitiy in nat, which is no goodWed, 23 Mar 2016 22:47:32 +0900, by Shinji KONO
-
same conflict again ...Wed, 23 Mar 2016 19:52:27 +0900, by Shinji KONO
-
Maybe does not help conflict ...Wed, 23 Mar 2016 17:16:29 +0900, by Shinji KONO
-
reverse arrow must be there...Wed, 23 Mar 2016 16:25:23 +0900, by Shinji KONO
-
recover TwoHomWed, 23 Mar 2016 15:45:05 +0900, by Shinji KONO
-
add reasoningWed, 23 Mar 2016 11:29:45 +0900, by Shinji KONO
-
add reasoningWed, 23 Mar 2016 11:16:16 +0900, by Shinji KONO
-
...Wed, 23 Mar 2016 10:57:00 +0900, by Shinji KONO
-
if enumarate all possible combination in assoc, it'll pass.Tue, 22 Mar 2016 15:01:47 +0900, by Shinji KONO
-
...Mon, 21 Mar 2016 21:08:46 +0900, by Shinji KONO
-
non recorded arrow does not workMon, 21 Mar 2016 20:58:00 +0900, by Shinji KONO
-
no Maybe TwoCat in limit-toMon, 21 Mar 2016 12:44:43 +0900, by Shinji KONO
-
...Sun, 20 Mar 2016 12:32:13 +0900, by Shinji KONO