tag:blogger.com,1999:blog-11295132.post1567481220139192774..comments2008-07-08T13:28:14.737-07:00sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-11295132.post-26888826337332516122008-07-08T13:28:00.000-07:002008-07-08T13:28:00.000-07:00Mark,<BR/><BR/>I didn't spot the citation but I'm not hat surprised from what Conor has said to me.<BR/><BR/>Glad you were inspired to follow up on holes in types because I think they're the neatest thing I've come across in years.sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-63796854379536824692008-07-08T11:49:00.000-07:002008-07-08T11:49:00.000-07:00I had to spend the last week reading the Conor McBride paper (it would have taken less time if I didn't have two kids) so that I could come back here to see what you were talking about. Thanks for the reference! I hope you're pleased that you can inspire so much dedication in your readers.<BR/><BR/>Did you notice that McBride cited his dad's Ph.D. thesis in the bibliography?Mark Dominushttp://blog.plover.com/noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-76031029273138585362008-07-03T08:24:00.000-07:002008-07-03T08:24:00.000-07:00Paul,<BR/><BR/>I think I have a scheme that gives a 1-1 correspondence between terms and partitions.<BR/><BR/>In the last diagram, the numbering of the holes for each container must go from 1 to n as a holey container contains no more information about the holes beyond their order.<BR/><BR/>So {1,3} is the first element (block) of the partition. It pairs with the first holey triangle. The first element of the block, 1, goes into the hole in the triangle marked '1'. The second element of the block, 3 goes into the hole in the triangle marked '2'. And now that triangle goes into the hole marked '1' in the rectangle. And so on.sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-57147022564612101352008-07-03T05:22:00.000-07:002008-07-03T05:22:00.000-07:00Haven't you got the numbering wrong in the last diagram?<BR/><BR/>Paul.Anonymousnoreply@blogger.com