Mercurial > hg > Members > kono > Proof > category
graph
-
.. give up Monad to monoidal functor in generalTue, 05 Dec 2017 17:04:03 +0900, by Shinji KONO
-
nat-εTue, 05 Dec 2017 01:57:41 +0900, by Shinji KONO
-
assuming C = kleisliTue, 05 Dec 2017 00:47:01 +0900, by Shinji KONO
-
bad case 2Tue, 05 Dec 2017 00:34:37 +0900, by Shinji KONO
-
bad case 1Tue, 05 Dec 2017 00:32:54 +0900, by Shinji KONO
-
add monad to monoidalMon, 04 Dec 2017 17:55:40 +0900, by Shinji KONO
-
...Mon, 04 Dec 2017 12:36:43 +0900, by Shinji KONO
-
...Sat, 02 Dec 2017 09:18:20 +0900, by Shinji KONO