<story><title>The Holy Trinity: Logic, Languages, Categories (2011)</title><url>https://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/</url></story><parent_chain></parent_chain><comment><author>orbifold</author><text>An interesting published review of this relationship is &amp;quot;Physics, Topology, Logic and Computation: A Rosetta Stone&amp;quot;, by John C. Baez, Mike Stay &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;arxiv.org&amp;#x2F;abs&amp;#x2F;0903.0340&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;arxiv.org&amp;#x2F;abs&amp;#x2F;0903.0340&lt;/a&gt;. The first author alos has lots of interesting stuff related to (quantum) computation on his website.</text></comment>
<story><title>The Holy Trinity: Logic, Languages, Categories (2011)</title><url>https://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/</url></story><parent_chain></parent_chain><comment><author>igravious</author><text>This link surfaced on HN before. :)&lt;p&gt;505 days ago to be precise during a discussion of the article “Relation Between Type Theory, Category Theory and Logic” on &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;ncatlab.org&amp;#x2F;nlab&amp;#x2F;show&amp;#x2F;relation+between+type+theory+and+category+theory&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;ncatlab.org&amp;#x2F;nlab&amp;#x2F;show&amp;#x2F;relation+between+type+theory+a...&lt;/a&gt;&lt;p&gt;Fascinating topic, previous discussion: &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=9867465&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;news.ycombinator.com&amp;#x2F;item?id=9867465&lt;/a&gt;</text></comment>