Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
2024-07-07 | Shinji KONO | ... |
2024-07-06 | Shinji KONO | ... |
2024-07-06 | Shinji KONO | ... |
2024-07-04 | Shinji KONO | ... |
2024-07-04 | Shinji KONO | ... |
2024-07-03 | Shinji KONO | safe rewriting nearly finished |
2024-07-01 | Shinji KONO | ... |
2024-02-11 | Shinji KONO | ... |
2023-11-23 | Shinji KONO | ... |
2023-10-09 | Shinji KONO | ... |
2023-10-07 | Shinji KONO | add original library and fix for safe mode |
2023-07-20 | Shinji KONO | ... |
2023-07-20 | Shinji KONO | ... |
2023-03-10 | Shinji KONO | ... |
2023-03-10 | Shinji KONO | unify yoneda functor |
2023-01-25 | Shinji KONO | ... |
2023-01-24 | Shinji KONO | ... |
2023-01-24 | Shinji KONO | ... |
2023-01-24 | Shinji KONO | add gorup |
2022-11-03 | Shinji KONO | ... |
2022-01-30 | Shinji KONO | ... |
2021-08-29 | Shinji KONO | closed this |
2021-08-29 | Shinji KONO | explict x in Poly is bad in Internal Language |
2021-07-30 | Shinji KONO | add Todo |
2021-05-19 | Shinji KONO | xf fix |
2021-05-18 | Shinji KONO | Topos Sets char-iso done |
2021-05-17 | Shinji KONO | iso-char in Sets Topos |
2021-05-17 | Shinji KONO | ... |
2021-05-17 | Shinji KONO | could be. but give up now |
2021-05-16 | Shinji KONO | give up. assuming x ∙ ○ b is Polynominal |
2021-05-16 | Shinji KONO | no good |
2021-05-16 | Shinji KONO | i : {b c : Obj A} (f : Hom A b c ) → ¬ ( f ≅ x ) → φ x f is bad |
2021-05-16 | Shinji KONO | ... |
2021-05-16 | Shinji KONO | ... |
2021-05-16 | Shinji KONO | ... |
2021-05-16 | Shinji KONO | ... |
2021-05-15 | Shinji KONO | ... |
2021-05-15 | Shinji KONO | ... |
2021-05-12 | Shinji KONO | ... |
2021-05-12 | Shinji KONO | Polynominal done with minimum equality |
2021-05-12 | Shinji KONO | fix Poly minimum equality |
2021-05-11 | Shinji KONO | ... |
2021-05-11 | Shinji KONO | ... |
2021-05-10 | Shinji KONO | .. |
2021-05-09 | Shinji KONO | ... |
2021-05-09 | Shinji KONO | fix topos char iso |
2021-05-08 | Shinji KONO | ... |
2021-05-08 | Shinji KONO | ... |
2021-05-08 | Shinji KONO | ... |
2021-05-08 | Shinji KONO | ... |
2021-05-08 | Shinji KONO | ... |
2021-05-08 | Shinji KONO | char-cong |
2021-04-29 | Shinji KONO | fix 1 |
2021-04-27 | Shinji KONO | ... |
2021-04-26 | Shinji KONO | ... |
2021-04-26 | Shinji KONO | ... |
2021-04-25 | Shinji KONO | apply |
2021-04-25 | Shinji KONO | ... |
2021-04-24 | Shinji KONO | ... |
2021-04-21 | Shinji KONO | functional completeness ε form done |