Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
2019-05-01 | Shinji KONO | ... |
2019-04-28 | Shinji KONO | one |
2019-04-28 | Shinji KONO | ... |
2019-04-28 | Shinji KONO | ... |
2019-04-27 | Shinji KONO | simpler |
2019-04-27 | Shinji KONO | simpler proof of CCC from graph |
2019-04-27 | Shinji KONO | add <= and <,> |
2019-04-26 | Shinji KONO | Added tag graph-to-ccc for changeset 4ff300e1e98c |
2019-04-26 | Shinji KONO | graph to CCC done |
2019-04-26 | Shinji KONO | ... |
2019-04-26 | Shinji KONO | ... |
2019-04-26 | Shinji KONO | <_,_> as function on Sets |
2019-04-26 | Shinji KONO | ... |
2019-04-26 | Shinji KONO | termination on fmap failed |
2019-04-26 | Shinji KONO | ... |
2019-04-25 | Shinji KONO | ... |
2019-04-25 | Shinji KONO | fix |
2019-04-25 | Shinji KONO | simpler graph to category |
2019-04-24 | Shinji KONO | graph with positive logic to Sets |
2019-04-24 | Shinji KONO | using setoid |
2019-04-23 | Shinji KONO | graph to ccc dead end |
2019-04-23 | Shinji KONO | graph to category |
2019-04-22 | Shinji KONO | ... |
2019-04-22 | Shinji KONO | Added tag ccc for changeset 472a615c6e09 |
2019-04-22 | Shinji KONO | fix ccc |
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 |