Mercurial > hg > Members > kono > Proof > category
log pullback.agda @ 323:d22a39e155c4
| age | author | description |
|---|---|---|
| 2014-01-05 | Shinji KONO | is this right direction? |
| 2013-11-04 | Shinji KONO | Limit form equalizer and product done. |
| 2013-10-30 | Shinji KONO | looped. |
| 2013-09-29 | Shinji KONO | arrow and lambda fix |
| 2013-09-29 | Shinji KONO | remove module parameter from yoneda functor |
| 2013-09-25 | Shinji KONO | fix |
| 2013-09-25 | Shinji KONO | limit preservation proved. |
| 2013-09-25 | Shinji KONO | lemma1 will be proved |
| 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 |