Mercurial > hg > Members > kono > Proof > category

log comparison-em.agda @ 724:df7697122d80

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
2017-11-11 Shinji KONO fix monad/adjunction definition
2017-03-04 Shinji KONO clean up
2013-09-29 Shinji KONO arrow and lambda fix
2013-08-02 Shinji KONO Comparison Functor all done.
2013-08-02 Shinji KONO Comparison Functor for Eilenberg-Moore Category is constructed.
2013-08-02 Shinji KONO Algebra
2013-08-02 Shinji KONO on going (horizontal composition)
2013-08-01 Shinji KONO on going
2013-08-01 Shinji KONO problems written Comparison Functor on EM
2013-08-01 Shinji KONO no yellow on em-category
2013-08-01 Shinji KONO add Comparison functor for EM base comparison-functor.agda@b869ef2a9409
less more | (0) tip