Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
2014-03-22 | Shinji KONO | factorial still have a problem |
2014-03-22 | Shinji KONO | factoral done. |
2014-03-22 | Shinji KONO | fact |
2014-03-22 | Shinji KONO | remove module level |
2014-03-22 | Shinji KONO | no yellow on append example |
2014-03-22 | Shinji KONO | Append |
2014-03-22 | Shinji KONO | fix Emp commnet |
2014-03-21 | Shinji KONO | fix |
2014-03-20 | Shinji KONO | Tree |
2014-03-20 | Shinji KONO | R lemma |
2014-03-19 | Shinji KONO | fact error on R |
2014-03-19 | Shinji KONO | Int |
2014-03-19 | Shinji KONO | Emp with yellow |
2014-03-17 | Shinji KONO | fix Emp |
2014-03-17 | Shinji KONO | Emp in System F |
2014-03-16 | Shinji KONO | fx |
2014-03-16 | Shinji KONO | iota |
2014-03-16 | Shinji KONO | Emp and Sum first try |
2014-03-15 | Shinji KONO | System T and System F |
2014-01-06 | Shinji KONO | on going... |
2014-01-05 | Shinji KONO | ??? |
2014-01-05 | Shinji KONO | is this right direction? |
2014-01-05 | Shinji KONO | on going... |
2014-01-05 | Shinji KONO | on going... |
2014-01-05 | Shinji KONO | preinitial problem written |
2014-01-05 | Shinji KONO | pre-initial |
2014-01-05 | Shinji KONO | small full subcategory done. |
2014-01-05 | Shinji KONO | Small Full Subcategory (underconstruction) |
2014-01-05 | Shinji KONO | subset |
2014-01-04 | Shinji KONO | Freyd Adjoint Functor Theorem |
2013-11-04 | Shinji KONO | Limit form equalizer and product done. |
2013-10-30 | Shinji KONO | looped. |
2013-09-29 | Shinji KONO | fix |
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 |