[Haskell-cafe] Category theory as a design tool

Arnaud Bailly arnaud.oqube at gmail.com
Thu Jun 23 07:32:11 CEST 2011

On Thu, Jun 23, 2011 at 2:03 AM, Gregg Reynolds <dev at mobileink.com> wrote:

> 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.

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.

> 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
> http://blog.mobileink.com/2011/03/resource-token-exchange.html.  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.
I am indeed. And will definitely go through it, thanks.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110623/2bff7294/attachment.htm>

More information about the Haskell-Cafe mailing list