Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
2013-07-25 | Shinji KONO | hd add pdf |
2013-07-25 | Shinji KONO | cleanup |
2013-07-25 | Shinji KONO | assoc proved. |
2013-07-24 | Shinji KONO | unity done |
2013-07-24 | Shinji KONO | unity1 |
2013-07-24 | Shinji KONO | UεF |
2013-07-24 | Shinji KONO | on going |
2013-07-24 | Shinji KONO | nat and functor comp |
2013-07-24 | Shinji KONO | add unitility |
2013-07-23 | Shinji KONO | Adjoint proved. All done. |
2013-07-23 | Shinji KONO | cleanup |
2013-07-23 | Shinji KONO | start adjunction |
2013-07-23 | Shinji KONO | nat-ε proved |
2013-07-23 | Shinji KONO | on going... |
2013-07-23 | Shinji KONO | on goging |
2013-07-23 | Shinji KONO | naturality of ε |
2013-07-22 | Shinji KONO | naturarity of η |
2013-07-22 | Shinji KONO | F is Functor proved. |
2013-07-22 | Shinji KONO | Functor cong done |
2013-07-22 | Shinji KONO | uniq-univeralMapping from Adjunction |
2013-07-22 | Shinji KONO | f replacement |
2013-07-22 | Shinji KONO | uniqness |
2013-07-22 | Shinji KONO | Functor Identity |
2013-07-22 | Shinji KONO | isFunctor |
2013-07-22 | Shinji KONO | Adjunction to Universal Mapping end |
2013-07-22 | Shinji KONO | Reasoning |
2013-07-22 | Shinji KONO | reasoning |
2013-07-22 | Shinji KONO | universalMapping |
2013-07-22 | Shinji KONO | isUniversalMapping |
2013-07-22 | Shinji KONO | f∗ = ε(b)F(f), |
2013-07-22 | Shinji KONO | trying... |
2013-07-22 | Shinji KONO | add Adj to Universal Mapping |
2013-07-22 | Shinji KONO | Adjoint |
2013-07-22 | Shinji KONO | add universal mapping |
2013-07-13 | Shinji KONO | fix |
2013-07-13 | Shinji KONO | notation |
2013-07-12 | Shinji KONO | fix |
2013-07-12 | Shinji KONO | fix |
2013-07-12 | Shinji KONO | join association finish |
2013-07-12 | Shinji KONO | on going |
2013-07-12 | Shinji KONO | on going |
2013-07-12 | Shinji KONO | join assoc on going... |
2013-07-12 | Shinji KONO | add some law |
2013-07-12 | Shinji KONO | unity law 1 |
2013-07-12 | Shinji KONO | clean up list-nat |
2013-07-12 | Shinji KONO | nat |
2013-07-12 | Shinji KONO | reasoning worked. |
2013-07-11 | Shinji KONO | not working yet |
2013-07-09 | Shinji KONO | sss |
2013-07-09 | Shinji KONO | list nat |
2013-07-08 | Shinji KONO | not yet worked |
2013-07-08 | Shinji KONO | Reasoning on going... |
2013-07-07 | Shinji KONO | Reasoning complete! |
2013-07-07 | Shinji KONO | reasoning test |
2013-07-07 | Shinji KONO | reasoning |
2013-07-07 | Shinji KONO | reasoning |
2013-07-07 | Shinji KONO | refl and trans |
2013-07-07 | Shinji KONO | Reasoning |
2013-07-06 | Shinji KONO | add accessor |
2013-07-06 | Shinji KONO | Kleisli Proposition |