Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| 2017-10-30 | Shinji KONO | remove comp from limit-to |
| 2017-10-30 | Shinji KONO | fix completeness |
| 2017-10-30 | Shinji KONO | SetCompleteness done! |
| 2017-10-27 | Shinji KONO | ... |
| 2017-10-23 | Shinji KONO | ... |
| 2017-10-22 | Shinji KONO | ... |
| 2017-10-22 | Shinji KONO | ... |
| 2017-10-22 | Shinji KONO | introducd HeterogeneousEquality |
| 2017-08-12 | Shinji KONO | move InitialObject to cat-utility |
| 2017-07-19 | Shinji KONO | maybe monad done |
| 2017-07-19 | Shinji KONO | add maybe-monad |
| 2017-07-16 | Shinji KONO | fix |
| 2017-07-06 | Shinji KONO | adjoint functor theorem done |
| 2017-07-06 | Shinji KONO | on going ... |
| 2017-07-06 | Shinji KONO | fix |
| 2017-07-05 | Shinji KONO | universal mapping |
| 2017-07-05 | Shinji KONO | uniquness |
| 2017-07-05 | Shinji KONO | solution |
| 2017-07-05 | Shinji KONO | rewritw solution |
| 2017-07-04 | Shinji KONO | id of Functor F |
| 2017-07-04 | Shinji KONO | fix |
| 2017-07-04 | Shinji KONO | module introdued |
| 2017-07-04 | Shinji KONO | use module |
| 2017-07-03 | Shinji KONO | functorF and η |
| 2017-07-03 | Shinji KONO | add adjunction |
| 2017-07-03 | Shinji KONO | start adjoint |
| 2017-07-03 | Shinji KONO | representability theorem done. |
| 2017-07-03 | Shinji KONO | add more lemma |
| 2017-07-02 | Shinji KONO | on going .. |
| 2017-07-02 | Shinji KONO | add revU |
| 2017-07-02 | Shinji KONO | add more lemma |
| 2017-07-01 | Shinji KONO | ... |
| 2017-07-01 | Shinji KONO | creating nat |
| 2017-06-30 | Shinji KONO | if K{*}↓U has initial Obj, U is representable done. |
| 2017-06-30 | Shinji KONO | on going ... |
| 2017-06-30 | Shinji KONO | introduce U preserving |
| 2017-06-28 | Shinji KONO | fix |
| 2017-06-27 | Shinji KONO | add equalizer |
| 2017-06-27 | Shinji KONO | add compleness |
| 2017-06-26 | Shinji KONO | introduce fArrow |
| 2017-06-26 | Shinji KONO | fix |
| 2017-06-26 | Shinji KONO | fix |
| 2017-06-26 | Shinji KONO | remove arrow's yellow |
| 2017-06-25 | Shinji KONO | fix |
| 2017-06-23 | Shinji KONO | on going ... |
| 2017-06-23 | Shinji KONO | initialObject done |
| 2017-06-23 | Shinji KONO | introduce one element set |
| 2017-06-23 | Shinji KONO | One |
| 2017-06-23 | Shinji KONO | fix |
| 2017-06-21 | Shinji KONO | add desciptive lemma |
| 2017-06-20 | Shinji KONO | on going .. |
| 2017-06-20 | Shinji KONO | on going ... |
| 2017-06-20 | Shinji KONO | fix |
| 2017-06-19 | Shinji KONO | initital obj uniquness done |
| 2017-06-14 | Shinji KONO | on going .. |
| 2017-06-14 | Shinji KONO | initial Object's arrow found |
| 2017-06-13 | Shinji KONO | Representational Functor preserve limit done |
| 2017-06-13 | Shinji KONO | t0f=t0 done |
| 2017-06-13 | Shinji KONO | fix |
| 2017-06-12 | Shinji KONO | natural transformation in representable functor |