log

age author description
2021-03-03 Shinji KONO ... Topos
2021-03-03 Shinji KONO N ≅ N + 1 done
2021-03-03 Shinji KONO ...
2021-03-02 Shinji KONO ...
2021-03-02 Shinji KONO ... Nat
2021-03-02 Shinji KONO ...
2021-03-02 Shinji KONO ...
2021-03-02 Shinji KONO fix Topos equalizer iso
2021-03-02 Shinji KONO ...
2021-03-01 Shinji KONO char-m=⊤
2021-03-01 Shinji KONO ...
2021-02-28 Shinji KONO ...
2021-02-27 Shinji KONO ...
2021-02-27 Shinji KONO ...
2021-02-26 Shinji KONO ...
2021-02-25 Shinji KONO ...
2021-02-25 Shinji KONO Polynominal category and functional completeness begin
2021-02-25 Shinji KONO ...
2021-02-25 Shinji KONO ...
2021-02-24 Shinji KONO bi-cartesian
2021-02-23 Shinji KONO Topos as pull back
2021-02-23 Shinji KONO ...
2021-02-22 Shinji KONO give up burroni
2021-02-22 Shinji KONO ... locality
2021-02-21 Shinji KONO ...
2021-02-21 Shinji KONO ...
2021-02-21 Shinji KONO ...
2021-02-21 Shinji KONO b4
2021-02-21 Shinji KONO ...
2021-02-20 Shinji KONO ...