Mercurial > hg > Members > kono > Proof > category
graph
-
move InitialObject to cat-utilitySat, 12 Aug 2017 16:35:58 +0900, by Shinji KONO
-
maybe monad doneWed, 19 Jul 2017 22:27:35 +0900, by Shinji KONO
-
add maybe-monadWed, 19 Jul 2017 20:38:02 +0900, by Shinji KONO
-
fixSun, 16 Jul 2017 14:05:18 +0900, by Shinji KONO
-
adjoint functor theorem doneThu, 06 Jul 2017 13:50:45 +0900, by Shinji KONO
-
on going ...Thu, 06 Jul 2017 12:22:54 +0900, by Shinji KONO