Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| 2013-08-28 | Shinji KONO | contravariant continue ... |
| 2013-08-28 | Shinji KONO | contravariant functor |
| 2013-08-28 | Shinji KONO | no yellow on co-Contravariant Functor |
| 2013-08-28 | Shinji KONO | fix |
| 2013-08-27 | Shinji KONO | Yoneda Functor |
| 2013-08-25 | Shinji KONO | comment |
| 2013-08-25 | Shinji KONO | hom set adjunction done. |
| 2013-08-24 | Shinji KONO | hom-set to universal mapping done. |
| Loading... | ||