tag:blogger.com,1999:blog-11295132.post115030777559495551..comments2017-06-13T10:46:58.121-07:00Comments on A Neighborhood of Infinity: Fun with Derivatives of ContainersDan Piponihttps://plus.google.com/107913314994758123748noreply@blogger.comBlogger7125tag:blogger.com,1999:blog-11295132.post-78802094116531597372009-11-09T18:28:40.512-08:002009-11-09T18:28:40.512-08:00Duncan,
You're right. Not sure how I missed t...Duncan,<br /><br />You're right. Not sure how I missed that.sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-47061194844972552002009-11-09T17:50:27.350-08:002009-11-09T17:50:27.350-08:00I just wanted to check my understanding of this st...I just wanted to check my understanding of this stuff; but shouldn't the type signature of run be:<br /><br />run :: (X.F'[X] -> Y) -> F[X] -> F[Y]<br /><br />?<br /><br />(i.e. isn't -> right associative?)<br /><br />cheers,<br />DuncanDuncanhttp://www.blogger.com/profile/10953461883282730140noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-82778491329754787132007-05-09T01:53:00.000-07:002007-05-09T01:53:00.000-07:00I had my last comment in my head for quite a while...I had my last comment in my head for quite a while before I wrote it down. But once again, writing down something helped rethinking it, I see it much more clearly now:<BR/><BR/>If X.F'[X] is an F[X] with an address, and we only want the address, let's forget the "content" via the map X->1, which induces a map X.F'[X]->F'[1].<BR/>A value of type F'[1] represents a position in an F[X] including the shape. For example, if F[X]=X^2+X^3 (pairs and triples), it doesn't just say something like "the first component", but also if it belongs to a pair or triple.<BR/><BR/>Not sure if that is exactly the "address" you wanted, but it seems to be something a category theorist should be happy with.ChristianSnoreply@blogger.comtag:blogger.com,1999:blog-11295132.post-43219242093729928322007-05-08T12:15:00.000-07:002007-05-08T12:15:00.000-07:00You wrote:(Pity we can't write X.F'[X]-F[X] to mea...You wrote:<BR/><I>(Pity we can't write X.F'[X]-F[X] to mean just the address, but '-' makes no sense in this context.)</I><BR/><BR/>Since having two information is represented by multiplication (product type), one would rather expect to divide than subtract, giving X.F'[X]/F[X]. If we don't mind just canceling those Xs, that's even useful for tuples. For sum types, we need the fact that the terms are related and have to 'divide' like this: (a+b)/(c+d):=a/c+b/d.<BR/>While I have no good justification for this, it works for sums of tuples like Maybe, i.e. 1+X: X.(0+1)/(1+X)=(0+X)/(1+X)=0/1+X/X=0+1=1.<BR/><BR/>Note also that the function you call projection is not generally onto, its image is what might be called F[X]-F[0].<BR/>(Subtraction is useful if it somehow is of the form A+B-A.)ChristianSnoreply@blogger.comtag:blogger.com,1999:blog-11295132.post-1150328516690844722006-06-14T16:41:00.000-07:002006-06-14T16:41:00.000-07:00I don't mean Joyal's book, I mean this.I don't mean Joyal's book, I mean <A HREF="http://froogle.google.com/froogle?q=Combinatorial+Species+and+Tree-Like+Structures&sourceid=mozilla-search&oe=UTF-8&client=firefox-a&rls=org.mozilla:en-US:official&lmode=online&scoring=p" REL="nofollow">this</A>.sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-1150328294263909762006-06-14T16:38:00.001-07:002006-06-14T16:38:00.001-07:00Yeah, Joyal found a nice way to interpret generati...Yeah, Joyal found a nice way to interpret generating functions, not just as generating functions, which merely count the size of various structures, but as a functorial representation of the combinatorial objects themselves. Unfortunately Joyal's paper isn't available on the web (and my French isn't too good anyway) and his book is way too expensive (even on ebay) and I don't have easy access to a mathematics library. So most of what I know on this is second hand from John Baez.<BR/><BR/>There's <A HREF="http://lists.seas.upenn.edu/pipermail/types-list/2005/000844.html" REL="nofollow">this</A> paper but it's over my head. (Need to read up on linear logic...)sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-1150327154754723832006-06-14T16:19:00.000-07:002006-06-14T16:19:00.000-07:00Much of this stuff originates with Andres Joyal, w...Much of this stuff originates with Andres Joyal, when he invented the concept of a species of structures, and showed how you can give a combinatorial interpretation of the calculus of formal power series. It's basically the theory of the category of (objects) finite sets and (arrows) isomorphisms between them. <BR/><BR/>I <EM>desperately</EM> want to learn more about this.Neel Krishnaswamihttp://www.blogger.com/profile/09691828772507600568noreply@blogger.com