tag:blogger.com,1999:blog-11295132.post629793671936544761..comments2017-08-18T14:12:50.505-07:00Comments on A Neighborhood of Infinity: Monads from Algebra and the the Gray Code from GroupsDan Piponihttps://plus.google.com/107913314994758123748noreply@blogger.comBlogger14125tag:blogger.com,1999:blog-11295132.post-24795505217357282732009-04-15T05:09:00.000-07:002009-04-15T05:09:00.000-07:00You lost me at
"For example, suppose S = {x,y}. T...You lost me at<br /><br />"For example, suppose S = {x,y}. Then we know that e, x and y are all in FS. We also know that x·x, x·y, y·x and y·y are all in S. Importantly we know that all 4 of these elements are distinct because we know there can be no equations connecting them beyond those that define a monoid."<br /><br />Earlier, you wrote that "·" has the type ·:M×M→M. I understood this to mean that either x or y must be the "e" element, and x·y must be either x or y.Schnickschnackhttps://www.blogger.com/profile/12706153438150560161noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-41230696462341147712007-07-03T19:55:00.000-07:002007-07-03T19:55:00.000-07:00Saizan,Dude! You're hired! Can you check all my po...Saizan,<BR/><BR/>Dude! You're hired! Can you check all my posts in future? :-)<BR/><BR/>I'll post a fixed version soon.sigfpehttps://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-59810456250794156122007-07-03T19:38:00.000-07:002007-07-03T19:38:00.000-07:00i mean that the second clause should be:g (Right z...i mean that the second clause should be:<BR/>g (Right z) = let G u = f z <BR/> in reverse (map (either Right Left) u)<BR/>since, as you say, (xy)^-1=y^-1x^-1<BR/>also without this and using structural equality: <BR/>m >>= return /= m if m == G [Left a,Right b]<BR/><BR/>..or maybe I just didn't get this at all..Saizanhttps://www.blogger.com/profile/07314943153376710289noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-50242088553819951282007-07-03T14:54:00.000-07:002007-07-03T14:54:00.000-07:00Saizan,I notice there's an indentation problem (da...Saizan,<BR/><BR/>I notice there's an indentation problem (damn spaces keep disappearing on me) but I'm not sure what you're describing. If you mean what I think you mean then the code wouldn't type check, but it does.sigfpehttps://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-91296341590138833042007-07-03T14:20:00.000-07:002007-07-03T14:20:00.000-07:00You've forgotten to inverse the Either contructors...You've forgotten to inverse the Either contructors in the second clause of g when implementing (>>=), i think.Saizanhttps://www.blogger.com/profile/07314943153376710289noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-9478219770247520962007-07-01T22:54:00.000-07:002007-07-01T22:54:00.000-07:00Of course, the "monad" in each case is the monad g...Of course, the "monad" in each case is the monad generated by the adjunction between the "free algebra generated by" functor and its forgetful converse.Pseudonymhttps://www.blogger.com/profile/04272326070593532463noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-50247105226794437972007-07-01T21:52:00.000-07:002007-07-01T21:52:00.000-07:00Greg,Pierce's "Basic Category Theory for Computer ...Greg,<BR/><BR/>Pierce's "Basic Category Theory for Computer Scientists" is good on the category theory side. Talks about free monoids and adjoints, though not monads.sigfpehttps://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-47931670599892323622007-07-01T20:25:00.000-07:002007-07-01T20:25:00.000-07:00It appears that the first link (Saizan's comment) ...It appears that the first link (Saizan's comment) is broken. Also, can anyone recommend a good introductory "Abstract Algebra for Computer Scientists" text?Greg Buchholzhttp://kerneltrap.org/blog/6714noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-1950326222899859582007-07-01T16:14:00.000-07:002007-07-01T16:14:00.000-07:00I'm being dense and confusing >>= and μ. You're...I'm being dense and confusing >>= and μ. You're right. I meant concat.sigfpehttps://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-72017001987096946462007-07-01T16:13:00.000-07:002007-07-01T16:13:00.000-07:00Normally when I've seen mu it's been "join", not "...Normally when I've seen mu it's been "join", not ">>=". Indeed I can't see how to fit a functional argument into a F(FS) -> FS transformation. ?stefanorhttps://www.blogger.com/profile/17489341093078909229noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-37654664587331308102007-07-01T16:08:00.000-07:002007-07-01T16:08:00.000-07:00stefanor, Thanks. What I really meant was concatMa...stefanor, <BR/><BR/>Thanks. What I really meant was concatMap.sigfpehttps://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-12018920065446446272007-07-01T15:54:00.000-07:002007-07-01T15:54:00.000-07:00I think you meant just 'concat' for mu. 'concat ....I think you meant just 'concat' for mu. 'concat . map' isn't even typable as an expression.stefanorhttps://www.blogger.com/profile/17489341093078909229noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-51392585208916216482007-07-01T07:42:00.000-07:002007-07-01T07:42:00.000-07:00An interesting comment on lambda the ultimate abou...An interesting <A HREF="http://lambda-the-ultimate.org/node/1183#comment-12896" REL="nofollow">comment</A> on lambda the ultimate about free monads.<BR/><BR/>It is probably not right to say this but I see free algebras as the static view and the monads as the dynamic view.alpheccarhttps://www.blogger.com/profile/14645433315403867431noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-7497928262171702852007-07-01T06:32:00.000-07:002007-07-01T06:32:00.000-07:00Oh, so that's what free things are. About a dozen...Oh, so <EM>that's</EM> what free things are. About a dozen things from my abstract algebra class some years ago just clicked. What a time for my copy of Mac Lane to be packed away...Fred Rosshttps://www.blogger.com/profile/14346595409269776793noreply@blogger.com