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