Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
2017-11-20 | Shinji KONO | Monoidal category and applicative functor |
2017-11-13 | Shinji KONO | fix |
2017-11-13 | Shinji KONO | Added tag current for changeset 984518c56e96 |
2017-11-13 | Shinji KONO | fix |
2017-11-12 | Shinji KONO | fix comment |
2017-11-12 | Shinji KONO | change argument of Limit and K |
2017-11-11 | Shinji KONO | fix universal mapping done. |
2017-11-11 | Shinji KONO | fix again |
2017-11-11 | Shinji KONO | fix monad/adjunction definition |
2017-11-08 | Shinji KONO | Added tag current for changeset 14ad6ec8a662 |
2017-11-08 | Shinji KONO | fix comment |
2017-11-07 | Shinji KONO | ... |
2017-11-07 | Shinji KONO | ... |
2017-11-07 | Shinji KONO | clean up |
2017-11-07 | Shinji KONO | clean up of pullback |
2017-11-07 | Shinji KONO | fix Product and pullback |
2017-11-06 | Shinji KONO | fh=gh done. limit from product and equalizer done |
2017-11-05 | Shinji KONO | ... |
2017-11-05 | Shinji KONO | extensionality remains |
2017-11-04 | Shinji KONO | Product of Arrow is necessary ... |
2017-11-04 | Shinji KONO | two product as in CWM |
2017-11-03 | Shinji KONO | ... |
2017-11-03 | Shinji KONO | ... |
2017-11-03 | Shinji KONO | fix limit from product and equalizer (not yet finished ) |
2017-11-02 | Shinji KONO | fix completeness |
2017-10-30 | Shinji KONO | fix |
2017-10-30 | Shinji KONO | remove comp from limit-to |
2017-10-30 | Shinji KONO | fix completeness |
2017-10-30 | Shinji KONO | SetCompleteness done! |
2017-10-27 | Shinji KONO | ... |