<?xml version='1.0' encoding='UTF-8'?><?xml-stylesheet href="http://www.blogger.com/styles/atom.css" type="text/css"?><feed xmlns='http://www.w3.org/2005/Atom' xmlns:openSearch='http://a9.com/-/spec/opensearchrss/1.0/'><id>tag:blogger.com,1999:blog-11295132.post8900790152878369108..comments</id><updated>2008-08-23T14:57:59.041-07:00</updated><category term='category theory'/><category term='lawvere theories'/><category term='astronomy'/><category term='optimisation'/><category term='self-reference'/><category term='comonads'/><category term='haskell'/><category term='programming'/><category term='monad'/><category term='mathematics'/><category term='physics'/><category term='probability'/><category term='types'/><category term='quantum'/><title type='text'>Comments on A Neighborhood of Infinity: Untangling with Continued Fractions: Part 1</title><link rel='http://schemas.google.com/g/2005#feed' type='application/atom+xml' href='http://blog.sigfpe.com/feeds/8900790152878369108/comments/default'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html'/><author><name>sigfpe</name><uri>http://www.blogger.com/profile/08096190433222340957</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='32' height='24' src='http://homepage.mac.com/sigfpe/.Pictures/Photo%20Album%20Pictures/2002-12-07%2014.53.40%20-0800/ImageDSC01397_1.jpg'/></author><generator version='7.00' uri='http://www.blogger.com'>Blogger</generator><openSearch:totalResults>12</openSearch:totalResults><openSearch:startIndex>1</openSearch:startIndex><openSearch:itemsPerPage>25</openSearch:itemsPerPage><entry><id>tag:blogger.com,1999:blog-11295132.post-7339683031909764535</id><published>2008-08-23T14:57:00.000-07:00</published><updated>2008-08-23T14:57:00.000-07:00</updated><title type='text'>Leon,&lt;br&gt;&lt;br&gt;In answer to (3), what we really want...</title><content type='html'>Leon,&lt;BR/&gt;&lt;BR/&gt;In answer to (3), what we really want are, I think, linear names.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/7339683031909764535'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/7339683031909764535'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html?showComment=1219528620000#c7339683031909764535' title=''/><author><name>sigfpe</name><uri>http://www.blogger.com/profile/08096190433222340957</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='32' height='24' src='http://homepage.mac.com/sigfpe/.Pictures/Photo%20Album%20Pictures/2002-12-07%2014.53.40%20-0800/ImageDSC01397_1.jpg'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html' ref='tag:blogger.com,1999:blog-11295132.post-8900790152878369108' source='http://www.blogger.com/feeds/11295132/posts/default/8900790152878369108' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-961546855'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-6415868618361185011</id><published>2008-08-23T13:07:00.000-07:00</published><updated>2008-08-23T13:07:00.000-07:00</updated><title type='text'>Nice.  Although,  one thing that strikes me about ...</title><content type='html'>Nice.  Although,  one thing that strikes me about your monadic abstraction is the naming issue, specifically,  names need to be referred to on the R.H.S. of a function once,  and only once.    So it begs the questions:&lt;BR/&gt;&lt;BR/&gt;1.  Is there a reasonable or useful interpretation when a name is referred  to more than once?   &lt;BR/&gt;&lt;BR/&gt;2.  Similarly, what if a name is introduced but not referred to at all?&lt;BR/&gt;&lt;BR/&gt;3.  Is there an alternate abstraction that enforces this condition?  &lt;BR/&gt;&lt;BR/&gt;From reading the comments here,  I suspect the answer to #3 is "Conway Notation."   Great post, I look forward to reading the rest!</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/6415868618361185011'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/6415868618361185011'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html?showComment=1219522020000#c6415868618361185011' title=''/><author><name>Leon Smith</name><uri>http://www.blogger.com/profile/06462854866941248768</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html' ref='tag:blogger.com,1999:blog-11295132.post-8900790152878369108' source='http://www.blogger.com/feeds/11295132/posts/default/8900790152878369108' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-805005191'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-9098784091811353565</id><published>2008-08-23T07:38:00.000-07:00</published><updated>2008-08-23T07:38:00.000-07:00</updated><title type='text'>leithaus,&lt;br&gt;&lt;br&gt;Only by name.</title><content type='html'>leithaus,&lt;BR/&gt;&lt;BR/&gt;Only by name.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/9098784091811353565'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/9098784091811353565'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html?showComment=1219502280000#c9098784091811353565' title=''/><author><name>sigfpe</name><uri>http://www.blogger.com/profile/08096190433222340957</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='32' height='24' src='http://homepage.mac.com/sigfpe/.Pictures/Photo%20Album%20Pictures/2002-12-07%2014.53.40%20-0800/ImageDSC01397_1.jpg'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html' ref='tag:blogger.com,1999:blog-11295132.post-8900790152878369108' source='http://www.blogger.com/feeds/11295132/posts/default/8900790152878369108' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-961546855'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-8292618153770075765</id><published>2008-08-22T23:24:00.000-07:00</published><updated>2008-08-22T23:24:00.000-07:00</updated><title type='text'>Do you know Kassel's Quantum Groups book?</title><content type='html'>Do you know Kassel's Quantum Groups book?</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/8292618153770075765'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/8292618153770075765'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html?showComment=1219472640000#c8292618153770075765' title=''/><author><name>leithaus</name><uri>http://www.blogger.com/profile/01069099703796397027</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='29' height='32' src='http://photos1.blogger.com/blogger/7901/3055/1600/lgm.jpg'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html' ref='tag:blogger.com,1999:blog-11295132.post-8900790152878369108' source='http://www.blogger.com/feeds/11295132/posts/default/8900790152878369108' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1446523942'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-1352107370238682845</id><published>2008-08-22T15:57:00.000-07:00</published><updated>2008-08-22T15:57:00.000-07:00</updated><title type='text'>leithaus,&lt;br&gt;&lt;br&gt;Almost everything I know about kn...</title><content type='html'>leithaus,&lt;BR/&gt;&lt;BR/&gt;Almost everything I know about knots comes from Kauffman's book "Knots and Physics" (and countless mostly-forgotten seminars from my student days). I don't recall anything about a relationship between Hopf algebras and quandles, at least not a direct one.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/1352107370238682845'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/1352107370238682845'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html?showComment=1219445820000#c1352107370238682845' title=''/><author><name>sigfpe</name><uri>http://www.blogger.com/profile/08096190433222340957</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='32' height='24' src='http://homepage.mac.com/sigfpe/.Pictures/Photo%20Album%20Pictures/2002-12-07%2014.53.40%20-0800/ImageDSC01397_1.jpg'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html' ref='tag:blogger.com,1999:blog-11295132.post-8900790152878369108' source='http://www.blogger.com/feeds/11295132/posts/default/8900790152878369108' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-961546855'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-5662613684063188341</id><published>2008-08-22T15:30:00.000-07:00</published><updated>2008-08-22T15:30:00.000-07:00</updated><title type='text'>So... here's a question for you. How do &lt;a href="h...</title><content type='html'>So... here's a question for you. How do &lt;A HREF="http://en.wikipedia.org/wiki/Quandle" REL="nofollow"&gt;quandles&lt;/A&gt; and Hopf algebras relate to each other? i know you can get a quandle out of a group with conjugation, but i'm fuzzy on the Hopf-crossed widget connection.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/5662613684063188341'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/5662613684063188341'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html?showComment=1219444200000#c5662613684063188341' title=''/><author><name>leithaus</name><uri>http://www.blogger.com/profile/01069099703796397027</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='29' height='32' src='http://photos1.blogger.com/blogger/7901/3055/1600/lgm.jpg'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html' ref='tag:blogger.com,1999:blog-11295132.post-8900790152878369108' source='http://www.blogger.com/feeds/11295132/posts/default/8900790152878369108' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1446523942'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-5636405897443286279</id><published>2008-08-21T09:37:00.000-07:00</published><updated>2008-08-21T09:37:00.000-07:00</updated><title type='text'>Your readers may be interested in the application ...</title><content type='html'>Your readers may be interested in the application of rational tangles to biology. For instance the article &lt;A HREF="http://www.math.uiowa.edu/~idarcy/ART/p22atopoREV2.pdf" REL="nofollow"&gt;Modeling protein-DNA complexes with tangles (PDF)&lt;/A&gt; is a fun introduction.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/5636405897443286279'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/5636405897443286279'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html?showComment=1219336620000#c5636405897443286279' title=''/><author><name>alpheccar</name><uri>http://www.blogger.com/profile/14645433315403867431</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html' ref='tag:blogger.com,1999:blog-11295132.post-8900790152878369108' source='http://www.blogger.com/feeds/11295132/posts/default/8900790152878369108' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-840620845'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-546499870825417237</id><published>2008-08-20T16:53:00.000-07:00</published><updated>2008-08-20T16:53:00.000-07:00</updated><title type='text'>leithaus,&lt;br&gt;&lt;br&gt;I can't talk about Conway notatio...</title><content type='html'>leithaus,&lt;BR/&gt;&lt;BR/&gt;I can't talk about Conway notation until I've talked about the classification of rational tangles. Or at least talked a bit more about rational tangles.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/546499870825417237'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/546499870825417237'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html?showComment=1219276380000#c546499870825417237' title=''/><author><name>sigfpe</name><uri>http://www.blogger.com/profile/08096190433222340957</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='32' height='24' src='http://homepage.mac.com/sigfpe/.Pictures/Photo%20Album%20Pictures/2002-12-07%2014.53.40%20-0800/ImageDSC01397_1.jpg'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html' ref='tag:blogger.com,1999:blog-11295132.post-8900790152878369108' source='http://www.blogger.com/feeds/11295132/posts/default/8900790152878369108' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-961546855'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-7311269235425502424</id><published>2008-08-20T16:38:00.000-07:00</published><updated>2008-08-20T16:38:00.000-07:00</updated><title type='text'>i think you should at least make a nod to Conway's...</title><content type='html'>i think you should at least make a nod to Conway's knotation. If you stack cup and cap; and you place them (suitably rotated) side by side, then together with the two crossings you get Conway's knotation combinators. You can get a good description from &lt;A HREF="http://knotplot.com/thesis/" REL="nofollow" TITLE="Rob Scharein&amp;#39;s thesis"&gt;Rob Scharein's thesis&lt;/A&gt;. For that matter, &lt;A HREF="http://knotplot.com/" REL="nofollow" TITLE="knotplot"&gt;knotplot&lt;/A&gt; is a cool site and a cool tool.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/7311269235425502424'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/7311269235425502424'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html?showComment=1219275480000#c7311269235425502424' title=''/><author><name>leithaus</name><uri>http://www.blogger.com/profile/01069099703796397027</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='29' height='32' src='http://photos1.blogger.com/blogger/7901/3055/1600/lgm.jpg'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html' ref='tag:blogger.com,1999:blog-11295132.post-8900790152878369108' source='http://www.blogger.com/feeds/11295132/posts/default/8900790152878369108' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1446523942'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-6726936111134267040</id><published>2008-08-17T17:43:00.000-07:00</published><updated>2008-08-17T17:43:00.000-07:00</updated><title type='text'>Nice teaser.. :)</title><content type='html'>Nice teaser.. :)</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/6726936111134267040'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/6726936111134267040'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html?showComment=1219020180000#c6726936111134267040' title=''/><author><name>Arnar Birgisson</name><uri>http://www.blogger.com/profile/12073820949049315334</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html' ref='tag:blogger.com,1999:blog-11295132.post-8900790152878369108' source='http://www.blogger.com/feeds/11295132/posts/default/8900790152878369108' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1833898225'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-7771662198611658863</id><published>2008-08-17T04:52:00.000-07:00</published><updated>2008-08-17T04:52:00.000-07:00</updated><title type='text'>Your first example of a block:&lt;br&gt;(b,c) &amp;lt;- bloc...</title><content type='html'>Your first example of a block:&lt;BR/&gt;(b,c) &amp;lt;- block (a,b)&lt;BR/&gt;seems to have a typo.  I think this should be:&lt;BR/&gt;(c,d) &amp;lt;- block (a,b)</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/7771662198611658863'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/7771662198611658863'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html?showComment=1218973920000#c7771662198611658863' title=''/><author><name>logopetria</name><uri>http://www.blogger.com/profile/09729458744775918709</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html' ref='tag:blogger.com,1999:blog-11295132.post-8900790152878369108' source='http://www.blogger.com/feeds/11295132/posts/default/8900790152878369108' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-1949133295'/></entry><entry><id>tag:blogger.com,1999:blog-11295132.post-6646310585838377820</id><published>2008-08-17T00:17:00.000-07:00</published><updated>2008-08-17T00:17:00.000-07:00</updated><title type='text'>Small typo, I think: the first example should be &lt;...</title><content type='html'>Small typo, I think: the first example should be &lt;I&gt;(c,d) &amp;lt;- block (a,b)&lt;/I&gt;.</content><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/6646310585838377820'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/11295132/8900790152878369108/comments/default/6646310585838377820'/><link rel='alternate' type='text/html' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html?showComment=1218957420000#c6646310585838377820' title=''/><author><name>oldtimer</name><uri>http://www.blogger.com/profile/08499662138218054059</uri><email>noreply@blogger.com</email><gd:image xmlns:gd='http://schemas.google.com/g/2005' rel='http://schemas.google.com/g/2005#thumbnail' width='16' height='16' src='http://img2.blogblog.com/img/b16-rounded.gif'/></author><thr:in-reply-to xmlns:thr='http://purl.org/syndication/thread/1.0' href='http://blog.sigfpe.com/2008/08/untangling-with-continued-fractions_16.html' ref='tag:blogger.com,1999:blog-11295132.post-8900790152878369108' source='http://www.blogger.com/feeds/11295132/posts/default/8900790152878369108' type='text/html'/><gd:extendedProperty xmlns:gd='http://schemas.google.com/g/2005' name='blogger.itemClass' value='pid-362839674'/></entry></feed>
