Mercurial > hg > Members > kono > Proof > category
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 | ... |