Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
2019-04-22 | Shinji KONO | ccc to adjunction done |
2019-04-22 | Shinji KONO | ... |
2019-04-21 | Shinji KONO | Hom a,b = Hom 1 b^a |
2019-04-21 | Shinji KONO | deduction theorem using category |
2019-04-21 | Shinji KONO | deduction theorem |
2019-04-19 | Shinji KONO | Sets is CCC |
2019-04-19 | Shinji KONO | CCC Hom done |
2019-04-19 | Shinji KONO | nat in ccc-2 |
2019-04-18 | Shinji KONO | ... |
2019-04-18 | Shinji KONO | on going CCC |
2019-04-17 | Shinji KONO | ccc → hom on going |
2019-04-17 | Shinji KONO | add CCC hom |
2019-04-17 | Shinji KONO | CCC by equation |
2019-03-08 | Shinji KONO | fix |
2019-03-08 | Shinji KONO | fix for 2.5.4.2 |
2018-10-08 | Shinji KONO | CCC in Hom form |
2018-10-06 | Shinji KONO | CCC start |
2018-09-26 | Shinji KONO | fix applicative for Agda version 2.5.4.1 |
2018-09-26 | Shinji KONO | fix |
2018-09-25 | Shinji KONO | add epi |
2018-06-13 | Shinji KONO | exchange left and right |
2018-06-13 | Shinji KONO | add simple category version |
2017-12-29 | Shinji KONO | ... |
2017-12-13 | Shinji KONO | fix |
2017-12-13 | shinji_kono | Initial Bitbucket Pipelines configuration |
2017-12-13 | Shinji KONO | fix |
2017-12-12 | Shinji KONO | clean up |
2017-12-12 | Shinji KONO | clean up |
2017-12-12 | Shinji KONO | Added tag current for changeset c30ca91f3a76 |
2017-12-12 | Shinji KONO | Applicative all done |
2017-12-11 | Shinji KONO | Applicative→HaskellMonoidal begin |
2017-12-11 | Shinji KONO | Added tag current for changeset 37ddc8228832 |
2017-12-11 | Shinji KONO | monad to applicative done. |
2017-12-11 | Shinji KONO | connected interchange |
2017-12-11 | Shinji KONO | ... |
2017-12-11 | Shinji KONO | ... |
2017-12-11 | Shinji KONO | ... |
2017-12-11 | Shinji KONO | composition connected |
2017-12-11 | Shinji KONO | ... |
2017-12-11 | Shinji KONO | ... |
2017-12-11 | Shinji KONO | monad to haskell monoidal done. |
2017-12-10 | Shinji KONO | ... |
2017-12-10 | Shinji KONO | ... |
2017-12-10 | Shinji KONO | connected |
2017-12-10 | Shinji KONO | FMap remains |
2017-12-10 | Shinji KONO | assoc start |
2017-12-10 | Shinji KONO | yellow removed |
2017-12-10 | Shinji KONO | yellow on idrφ |
2017-12-10 | Shinji KONO | ... |
2017-12-09 | Shinji KONO | ... |
2017-12-08 | Shinji KONO | ... |
2017-12-08 | Shinji KONO | ... |
2017-12-05 | Shinji KONO | .. give up Monad to monoidal functor in general |
2017-12-04 | Shinji KONO | nat-ε |
2017-12-04 | Shinji KONO | assuming C = kleisli |
2017-12-04 | Shinji KONO | bad case 2 |
2017-12-04 | Shinji KONO | bad case 1 |
2017-12-04 | Shinji KONO | add monad to monoidal |
2017-12-04 | Shinji KONO | ... |
2017-12-02 | Shinji KONO | ... |