log

age author description
2017-03-04 Shinji KONO clean up
2017-03-04 Shinji KONO clean up
2017-03-04 Shinji KONO document clean up
2017-03-04 Shinji KONO document clean up
2017-03-04 Shinji KONO clean up fix
2017-03-04 Shinji KONO clean up
2017-03-03 Shinji KONO limit-to done
2017-03-02 Shinji KONO freyd trbouled again
2017-03-02 Shinji KONO fix comment
2017-03-02 Shinji KONO limit-to and discrete clean up
2017-03-02 Shinji KONO limit with nat
2017-03-02 Shinji KONO on going ...
2017-03-02 Shinji KONO fix
2017-03-02 Shinji KONO try incomplete pattern for discrete
2017-02-28 Shinji KONO negnat
2017-02-28 Shinji KONO add negation example
2017-02-27 Shinji KONO bottom
2017-01-02 Shinji KONO on goinhg ...
2017-01-02 Shinji KONO discrete again with negation
2016-10-15 Shinji KONO complete connection dead end
2016-10-14 Shinji KONO bad case on distr
2016-10-14 Shinji KONO cont..
2016-10-14 Shinji KONO complete connection for finite category
2016-09-04 Shinji KONO fix IsEqualizer
2016-09-01 Shinji KONO fix
2016-08-30 Shinji KONO preinital full subcategory done
2016-08-30 Shinji KONO fix limit
2016-08-29 Shinji KONO equ
2016-08-29 Shinji KONO clean up
2016-08-29 Shinji KONO add rest of equation
2016-08-29 Shinji KONO initialFullSubCategory
2016-08-28 Shinji KONO f=g if equalizer k has right inverse
2016-03-27 Shinji KONO add discrete
2016-03-26 Shinji KONO functor constraint does not work well on distribution law
2016-03-26 Shinji KONO add another method as a comment
2016-03-26 Shinji KONO clean up
2016-03-26 Shinji KONO limit-to done
2016-03-26 Shinji KONO nat commute in limit-to
2016-03-26 Shinji KONO ...
2016-03-26 Shinji KONO add Nil
2016-03-26 Shinji KONO Functor MA → A
2016-03-24 Shinji KONO define MA and I
2016-03-24 Shinji KONO fix imit-to-edu for MaybeCat / TwoCat
2016-03-24 Shinji KONO TwoCat / indexFunctor all done
2016-03-24 Shinji KONO o-resp passed
2016-03-24 Shinji KONO fix free-monoid
2016-03-24 Shinji KONO refl in free-monoid trouble
2016-03-23 Shinji KONO cong is a bit strange...
2016-03-23 Shinji KONO assoc passed
2016-03-23 Shinji KONO with inv-f, distribution law passed.
2016-03-23 Shinji KONO if we add invserse, there no nothing part, it generates extra commutaivitiy in nat, which is no good
2016-03-23 Shinji KONO same conflict again ...
2016-03-23 Shinji KONO Maybe does not help conflict ...
2016-03-23 Shinji KONO reverse arrow must be there...
2016-03-23 Shinji KONO recover TwoHom
2016-03-23 Shinji KONO add reasoning
2016-03-23 Shinji KONO add reasoning
2016-03-23 Shinji KONO ...
2016-03-22 Shinji KONO if enumarate all possible combination in assoc, it'll pass.
2016-03-21 Shinji KONO ...