log

age author description
2017-12-05 Shinji KONO .. give up Monad to monoidal functor in general
2017-12-04 Shinji KONO nat-ε
2017-12-04 Shinji KONO assuming C = kleisli
2017-12-04 Shinji KONO bad case 2
2017-12-04 Shinji KONO bad case 1
2017-12-04 Shinji KONO add monad to monoidal
Loading...