<br><br><div class="gmail_quote">On Thu, Jun 23, 2011 at 2:03 AM, Gregg Reynolds <span dir="ltr">&lt;<a href="mailto:dev@mobileink.com">dev@mobileink.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="gmail_quote"><br><div>Well, you&#39;re way ahead of me.  I don&#39;t even &quot;get&quot; adjunctions, to tell you the truth.  By which I mean that I have no intuition about them; it&#39;s not so hard to understand the formal definition, but it&#39;s another thing altogether to grasp the deep significance.</div>
<div class="im">
<div> </div></div></div></blockquote><div><br>Exactly. It just looks like we can only &quot;grasp&quot; something if we managed to match synthetic knowledge with analytic knowledge to state it in more &quot;philosophical&quot; terms.<br>
<br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"><div class="gmail_quote"><br><div>Completely off topic:  a few months ago I had an idea about using category theory to provide rigorous semantics for the web (esp. rdf stuff etc.)  I&#39;ll probably never find time to work out the details, but it&#39;s a fun exercise in any case; if you want to mess around with applying CT to the real world maybe you can coem up with improvements.  See <a href="http://blog.mobileink.com/2011/03/resource-token-exchange.html" target="_blank">http://blog.mobileink.com/2011/03/resource-token-exchange.html</a>.  It&#39;s a bit of a mess, and some of it I would radically revise, but it might give you some ideas, if you&#39;re interested in the semantic web thingee.</div>

<div><br></div></div></blockquote><div><br>I am indeed. And will definitely go through it, thanks.<br><br></div></div>Regards,<br>Arnaud<br>