<br><br><div class="gmail_quote">On Thu, Jun 23, 2011 at 2:03 AM, Gregg Reynolds <span dir="ltr"><<a href="mailto:dev@mobileink.com">dev@mobileink.com</a>></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're way ahead of me. I don't even "get" adjunctions, to tell you the truth. By which I mean that I have no intuition about them; it's not so hard to understand the formal definition, but it'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 "grasp" something if we managed to match synthetic knowledge with analytic knowledge to state it in more "philosophical" 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'll probably never find time to work out the details, but it'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's a bit of a mess, and some of it I would radically revise, but it might give you some ideas, if you'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>