this is my current research notebook in blog form. entries are often at a stream-of-consciousness level but sometimes at a higher level of coherence.
Saturday, October 8, 2011
?? axiomatizing idea of "composable pair of monadic functors with composite maximally non-monadic" ..... ???? .... ??? unit for second monad being invertible on kleisli algebras of first monad ... ??? ...... ????? ......
No comments:
Post a Comment