Mercurial > hg > Members > kono > Proof > category
graph
-
complete connection dead end2016-10-15, by Shinji KONO
-
bad case on distr2016-10-14, by Shinji KONO
-
cont..2016-10-14, by Shinji KONO
-
complete connection for finite category2016-10-14, by Shinji KONO
-
fix IsEqualizer2016-09-04, by Shinji KONO
-
fix2016-09-01, by Shinji KONO
-
preinital full subcategory done2016-08-30, by Shinji KONO
-
fix limit2016-08-30, by Shinji KONO
-
equ2016-08-29, by Shinji KONO
-
clean up2016-08-29, by Shinji KONO
-
add rest of equation2016-08-29, by Shinji KONO
-
initialFullSubCategory2016-08-29, by Shinji KONO
-
f=g if equalizer k has right inverse2016-08-28, by Shinji KONO
-
add discrete2016-03-27, by Shinji KONO
-
functor constraint does not work well on distribution law2016-03-26, by Shinji KONO
-
add another method as a comment2016-03-26, by Shinji KONO
-
clean up2016-03-26, by Shinji KONO
-
limit-to done2016-03-26, by Shinji KONO
-
nat commute in limit-to2016-03-26, by Shinji KONO
-
...2016-03-26, by Shinji KONO
-
add Nil2016-03-26, by Shinji KONO
-
Functor MA → A2016-03-26, by Shinji KONO
-
define MA and I2016-03-24, by Shinji KONO
-
fix imit-to-edu for MaybeCat / TwoCat2016-03-24, by Shinji KONO
-
TwoCat / indexFunctor all done2016-03-24, by Shinji KONO
-
o-resp passed2016-03-24, by Shinji KONO
-
fix free-monoid2016-03-24, by Shinji KONO
-
refl in free-monoid trouble2016-03-24, by Shinji KONO
-
cong is a bit strange...2016-03-23, by Shinji KONO
-
assoc passed2016-03-23, by Shinji KONO
-
with inv-f, distribution law passed.2016-03-23, by Shinji KONO
-
if we add invserse, there no nothing part, it generates extra commutaivitiy in nat, which is no good2016-03-23, by Shinji KONO
-
same conflict again ...2016-03-23, by Shinji KONO
-
Maybe does not help conflict ...2016-03-23, by Shinji KONO
-
reverse arrow must be there...2016-03-23, by Shinji KONO
-
recover TwoHom2016-03-23, by Shinji KONO
-
add reasoning2016-03-23, by Shinji KONO
-
add reasoning2016-03-23, by Shinji KONO
-
...2016-03-23, by Shinji KONO
-
if enumarate all possible combination in assoc, it'll pass.2016-03-22, by Shinji KONO
-
...2016-03-21, by Shinji KONO
-
non recorded arrow does not work2016-03-21, by Shinji KONO
-
no Maybe TwoCat in limit-to2016-03-21, by Shinji KONO
-
...2016-03-20, by Shinji KONO
-
maybe CAT2016-03-20, by Shinji KONO
-
on going ...2016-03-17, by Shinji KONO
-
Maybe Category to-limit2016-03-17, by Shinji KONO
-
on going...2016-03-16, by Shinji KONO
-
maybe category done2016-03-16, by Shinji KONO
-
add Maybe Category2016-03-16, by Shinji KONO
-
inconsistent distribution law on nil x arrow-g2016-03-16, by Shinji KONO
-
non nil dead end...2016-03-16, by Shinji KONO
-
bad distribution law2016-03-15, by Shinji KONO
-
distribution law stacked2016-03-15, by Shinji KONO
-
on going ..2016-03-15, by Shinji KONO
-
trying ...2016-03-15, by Shinji KONO
-
fix2016-03-15, by Shinji KONO
-
null does not work2016-03-15, by Shinji KONO
-
another try ...2016-03-15, by Shinji KONO
-
on going ...2016-03-14, by Shinji KONO