changeset | dca4b29553cb |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | mp-flatten |
files |
changeset | 177162990879 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 4e48b331020a |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | simpler |
files |
changeset | bb9fd483f560 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | simpler proof of CCC from graph |
files |
changeset | e4986625ddd7 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | add <= and <,> |
files |
changeset | 4ff300e1e98c |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | graph to CCC done |
files |
changeset | 2de0358ea10a |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 084dc5e170f8 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 0976d576f5f6 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | <_,_> as function on Sets |
files |
changeset | e4cc2ccd0f06 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 91a2efb67462 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | termination on fmap failed |
files |
changeset | dd0d0a201990 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 979c0bf97a5a |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 2716d2945730 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | fix |
files |
changeset | 984d20c10c87 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | simpler graph to category |
files |
changeset | 7bc41fc7b563 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | graph with positive logic to Sets |
files |
changeset | aa4fbd007247 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | using setoid |
files |
changeset | bca72fffdc1a |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | graph to ccc dead end |
files |
changeset | 82a8c1ab4ef5 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | graph to category |
files |
changeset | 030c5b87ed78 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ccc to adjunction done |
files |
changeset | ba575c73ea48 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | f37f11e1b871 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | Hom a,b = Hom 1 b^a |
files |
changeset | 1e7319868d77 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | Sets is CCC |
files |
changeset | 4e1e2f7199c8 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | CCC Hom done |
files |
changeset | a3e124e36acf |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | nat in ccc-2 |
files |
changeset | ca5eba647990 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ... |
files |
changeset | 287d25c87b60 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | on going CCC |
files |
changeset | a67959bcd44b |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | ccc → hom on going |
files |
changeset | f27d966939f8 |
---|---|
branch | |
bookmark | |
tag | |
user | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
description | add CCC hom |
files |