Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| 2013-08-01 | Shinji KONO | nat-μ |
| 2013-08-01 | Shinji KONO | ε^T and μ^t |
| 2013-08-01 | Shinji KONO | T ≃ (U^T ○ F^T) |
| 2013-08-01 | Shinji KONO | F^T and U^T constructed |
| 2013-08-01 | Shinji KONO | U^T and F^T problem written |
| 2013-07-31 | Shinji KONO | EM Category constructed |
| 2013-07-31 | Shinji KONO | field version |
| 2013-07-31 | Shinji KONO | constructed but some yellow remains |
| 2013-07-31 | Shinji KONO | Category._o_ /= Category.Category.Id |
| 2013-07-31 | Shinji KONO | resp and assoc |
| 2013-07-31 | Shinji KONO | idL, idR |
| 2013-07-31 | Shinji KONO | on going... |