Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| Thu, 25 Feb 2021 18:50:06 +0900 | Shinji KONO | Polynominal category and functional completeness begin |
| Thu, 25 Feb 2021 13:08:17 +0900 | Shinji KONO | ... |
| Thu, 25 Feb 2021 11:13:31 +0900 | Shinji KONO | ... |
| Thu, 25 Feb 2021 02:01:37 +0900 | Shinji KONO | bi-cartesian |
| Tue, 23 Feb 2021 16:32:06 +0900 | Shinji KONO | Topos as pull back |
| Tue, 23 Feb 2021 14:11:12 +0900 | Shinji KONO | ... |
| Mon, 22 Feb 2021 21:31:38 +0900 | Shinji KONO | give up burroni |