| 2024-07-07 |
Shinji KONO |
safe fix done
default tip
|
| 2024-07-07 |
Shinji KONO |
...
|
| 2024-07-07 |
Shinji KONO |
...
|
| 2024-07-07 |
Shinji KONO |
assocφ passed
|
| 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
|
| 2021-04-20 |
Shinji KONO |
FC isSelect done, kcong assumption
|
| 2021-04-20 |
Shinji KONO |
...
|
| 2021-04-19 |
Shinji KONO |
...
|
| 2021-04-19 |
Shinji KONO |
...
|
| 2021-04-19 |
Shinji KONO |
...
|
| 2021-04-19 |
Shinji KONO |
...
|
| 2021-04-18 |
Shinji KONO |
...
|
| 2021-04-18 |
Shinji KONO |
...
|
| 2021-04-18 |
Shinji KONO |
...
|
| 2021-04-18 |
Shinji KONO |
... Polynominal arg type
|
| 2021-04-18 |
Shinji KONO |
...
|
| 2021-04-18 |
Shinji KONO |
...
|
| 2021-04-18 |
Shinji KONO |
...
|
| 2021-04-18 |
Shinji KONO |
...
|
| 2021-04-10 |
Shinji KONO |
...
|
| 2021-04-09 |
Shinji KONO |
...
|
| 2021-04-09 |
Shinji KONO |
...
|
| 2021-04-09 |
Shinji KONO |
Added tag internal-language for changeset a929a58a389d
|
| 2021-04-09 |
Shinji KONO |
fix depenency in internal language
internal-language
|
| 2021-04-09 |
Shinji KONO |
internal language written
|
| 2021-04-08 |
Shinji KONO |
...
|
| 2021-04-07 |
Shinji KONO |
...
|
| 2021-04-07 |
Shinji KONO |
...
|
| 2021-04-02 |
Shinji KONO |
...
|
| 2021-04-02 |
Shinji KONO |
...
|
| 2021-04-01 |
Shinji KONO |
...
|
| 2021-03-31 |
Shinji KONO |
...
|
| 2021-03-30 |
Shinji KONO |
Added tag sets-topos for changeset c3b3faa791fa
|
| 2021-03-30 |
Shinji KONO |
topos of Sets done
sets-topos
|
| 2021-03-30 |
Shinji KONO |
Sets Topos iso1 done
|
| 2021-03-30 |
Shinji KONO |
...
|
| 2021-03-30 |
Shinji KONO |
...
|
