Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| 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 | ... |