Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| 2013-09-25 | Shinji KONO | limit equation done. |
| 2013-09-25 | Shinji KONO | limit1 done |
| 2013-09-25 | Shinji KONO | limit defined. |
| 2013-09-25 | Shinji KONO | on going |
| 2013-09-25 | Shinji KONO | limit preserving ... |
| 2013-09-25 | Shinji KONO | fix |
| 2013-09-25 | Shinji KONO | move to iProduct axiom |
| 2013-09-24 | Shinji KONO | give up ... |
| 2013-09-23 | Shinji KONO | ion going |
| 2013-09-23 | Shinji KONO | uum |
| 2013-09-23 | Shinji KONO | commutativity continue... |
| 2013-09-23 | Shinji KONO | comutativity remains |
| 2013-09-23 | Shinji KONO | on going ... |
| 2013-09-23 | Shinji KONO | limit on going... |
| 2013-09-23 | Shinji KONO | limit from product and equalizer continue... |
| 2013-09-23 | Shinji KONO | univ2limit done. |
| 2013-09-22 | Shinji KONO | limit and prod/equalizer |
| 2013-09-22 | Shinji KONO | univ2limit |
| 2013-09-22 | Shinji KONO | 2 yellow remains |
| 2013-09-22 | Shinji KONO | yellow remains ... |
| 2013-09-22 | Shinji KONO | on going ... |
| 2013-09-22 | Shinji KONO | adjoint2limit problems are written |
| 2013-09-22 | Shinji KONO | try adjoint2limit |
| 2013-09-22 | Shinji KONO | adjunction to limit |