Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| 2013-09-08 | Shinji KONO | fix |
| 2013-09-08 | Shinji KONO | fix |
| 2013-09-08 | Shinji KONO | comments |
| 2013-09-08 | Shinji KONO | fix |
| 2013-09-07 | Shinji KONO | fix |
| 2013-09-07 | Shinji KONO | Burrnoi to Equalizer problem written |
| 2013-09-07 | Shinji KONO | fix |
| 2013-09-07 | Shinji KONO | Burroni equational equalizer definition done. |
| 2013-09-07 | Shinji KONO | passed let;s remove yellow |
| 2013-09-07 | Shinji KONO | equalizer iso done. |
| 2013-09-07 | Shinji KONO | e is now explict parameter |
| 2013-09-07 | Shinji KONO | fix |
| 2013-09-07 | Shinji KONO | reverse-e |
| 2013-09-07 | Shinji KONO | fix |
| 2013-09-06 | Shinji KONO | c in equalizer is equal up to iso done. |
| 2013-09-05 | Shinji KONO | fix |
| 2013-09-05 | Shinji KONO | fix |
| 2013-09-05 | Shinji KONO | fix |
| 2013-09-05 | Shinji KONO | comment |
| 2013-09-05 | Shinji KONO | fix |
| 2013-09-04 | Shinji KONO | fix |
| 2013-09-04 | Shinji KONO | iso of equalizer |
| 2013-09-04 | Shinji KONO | on going ... |
| 2013-09-04 | Shinji KONO | eefg |
| 2013-09-04 | Shinji KONO | on going ... |
| 2013-09-04 | Shinji KONO | add equalizers |
| 2013-09-04 | Shinji KONO | add equalizer+h |
| 2013-09-03 | Shinji KONO | fix |
| 2013-09-02 | Shinji KONO | equ6... |
| 2013-09-02 | Shinji KONO | b4 remains. |
| 2013-09-02 | Shinji KONO | on going |
| 2013-09-02 | Shinji KONO | b2 |
| 2013-09-02 | Shinji KONO | b3 |
| 2013-09-02 | Shinji KONO | α b1 |
| 2013-09-02 | Shinji KONO | equalizer difinition |
| 2013-09-02 | Shinji KONO | fix |
| 2013-09-02 | Shinji KONO | Equalizer problems have written |
| 2013-09-01 | Shinji KONO | on going |
| 2013-09-01 | Shinji KONO | equalizer |
| 2013-09-01 | Shinji KONO | embedding done? |
| 2013-09-01 | Shinji KONO | on going ... |
| 2013-09-01 | Shinji KONO | remove an extensionality |
| 2013-08-31 | Shinji KONO | fix |
| 2013-08-31 | Shinji KONO | exponential |
| 2013-08-30 | Shinji KONO | fix |
| 2013-08-30 | Shinji KONO | comment |
| 2013-08-30 | Shinji KONO | clean up |
| 2013-08-30 | Shinji KONO | give up injective on Object? |
| 2013-08-30 | Shinji KONO | Nat2F→F2Nat done |
| 2013-08-30 | Shinji KONO | F2Nat→Nat2F done |
| 2013-08-30 | Shinji KONO | isomorphic problem written |
| 2013-08-30 | Shinji KONO | F(a) → Nat(h_a,F) done |
| 2013-08-30 | Shinji KONO | nat continue... |
| 2013-08-29 | Shinji KONO | one to one nat |
| 2013-08-29 | Shinji KONO | fix |
| 2013-08-29 | Shinji KONO | Yoneda Functor Constructed |
| 2013-08-28 | Shinji KONO | hint |
| 2013-08-28 | Shinji KONO | y-nat (FMap of Yoneda Functor ) |
| 2013-08-28 | Shinji KONO | Yoneda join |
| 2013-08-28 | Shinji KONO | oeration |