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